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