TSTP Solution File: GRP284-1 by Refute---2015