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