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