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