TSTP Solution File: SWW005_1 by Refute---2015