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