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