TSTP Solution File: MSC007-1.008 by Refute---2015