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