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