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