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