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