the foredge is not a welterweight and does not drum.
sent1: the fact that the endive is not a kind of a quality but it does overturn haymow is incorrect. sent2: if something is not ferric then it is not a kind of a welterweight and it is not a drum. sent3: if that the endive is not a quality and does overturn haymow is incorrect then the foredge is not ferric.
sent3 & sent1 -> int1: the foredge is not ferric.; sent2 -> int2: the foredge is not a welterweight and it does not drum if it is not ferric.; int1 & int2 -> hypothesis;
$hypothesis$ = the foredge is not a welterweight and does not drum. ; $context$ = sent1: the fact that the endive is not a kind of a quality but it does overturn haymow is incorrect. sent2: if something is not ferric then it is not a kind of a welterweight and it is not a drum. sent3: if that the endive is not a quality and does overturn haymow is incorrect then the foredge is not ferric. ; $proof$ = 
sent3 & sent1 -> int1: the foredge is not ferric.; sent2 -> int2: the foredge is not a welterweight and it does not drum if it is not ferric.; int1 & int2 -> hypothesis; __PROVED__