TSTP Solution File: HWV055-1 by Refute---2015