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