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