TSTP Solution File: COL051-1 by Refute---2015