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