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