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