TSTP Solution File: CAT014-4 by Refute---2015