TSTP Solution File: ARI251_1 by Refute---2015