TSTP Solution File: ANA002-4 by Refute---2015