TSTP Solution File: PRO001+4 by Refute---2015