TSTP Solution File: FLD055-3 by Refute---2015