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