TSTP Solution File: GRP039-7 by Refute---2015