TSTP Solution File: SET060-7 by Refute---2015