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