TSTP Solution File: CAT021+3 by Refute---2015