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