TSTP Solution File: ARI172_1 by Refute---2015