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