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