TSTP Solution File: ARI639_1 by Refute---2015