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