TSTP Solution File: SWV765-1 by Refute---2015