TSTP Solution File: ANA037-2 by Refute---2015