TSTP Solution File: GRP004-2 by Refute---2015