TSTP Solution File: COM097_5 by Refute---2015