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