TSTP Solution File: COL122-2 by Refute---2015