TSTP Solution File: FLD016-5 by Refute---2015