TSTP Solution File: ARI080_1 by Refute---2015