TSTP Solution File: COM072_5 by Refute---2015