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