TSTP Solution File: ARI228_1 by Refute---2015