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