TSTP Solution File: ARI463_1 by Refute---2015