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