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