TSTP Solution File: ANA003-3 by Refute---2015