TSTP Solution File: COL064-7 by Refute---2015