TSTP Solution File: ARI594_1 by Refute---2015