TSTP Solution File: ARI655_1 by Refute---2015