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