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