TSTP Solution File: HEN010-6 by Refute---2015