TSTP Solution File: FLD050-4 by Refute---2015