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