TSTP Solution File: PRO018+2 by Refute---2015