TSTP Solution File: ARI406_1 by Refute---2015