TSTP Solution File: COL044-9 by Refute---2015