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