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