TSTP Solution File: NLP004+1 by Refute---2015