TSTP Solution File: GRP011-4 by Refute---2015