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