TSTP Solution File: SWV567-1.014 by Refute---2015