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