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