TSTP Solution File: COM002_2 by Refute---2015