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