TSTP Solution File: REL007-1 by Refute---2015