TSTP Solution File: SWV295-2 by Refute---2015