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