TSTP Solution File: ARI194_1 by Refute---2015