TSTP Solution File: COL003-14 by Refute---2015