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