TSTP Solution File: COM042_5 by Refute---2015