TSTP Solution File: DAT047_1 by Refute---2015