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