TSTP Solution File: COM036_5 by Refute---2015