TSTP Solution File: ARI717_1 by Refute---2015