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