the don is not a grind.
sent1: there is nothing such that either it is a Merovingian or it is a kind of a Setubal or both. sent2: there exists nothing such that it is diclinous or defrays knobkerrie or both. sent3: everything does not defray knobkerrie. sent4: if that something is diclinous and/or it does defray knobkerrie is wrong it is not a kind of a grind. sent5: the don does not defray knobkerrie.
sent4 -> int1: the don is not a grind if the fact that it is diclinous or it defrays knobkerrie or both is not correct.; sent2 -> int2: the fact that that the don is not non-diclinous and/or it does defray knobkerrie is not true is right.; int1 & int2 -> hypothesis;
$hypothesis$ = the don is not a grind. ; $context$ = sent1: there is nothing such that either it is a Merovingian or it is a kind of a Setubal or both. sent2: there exists nothing such that it is diclinous or defrays knobkerrie or both. sent3: everything does not defray knobkerrie. sent4: if that something is diclinous and/or it does defray knobkerrie is wrong it is not a kind of a grind. sent5: the don does not defray knobkerrie. ; $proof$ = 
sent4 -> int1: the don is not a grind if the fact that it is diclinous or it defrays knobkerrie or both is not correct.; sent2 -> int2: the fact that that the don is not non-diclinous and/or it does defray knobkerrie is not true is right.; int1 & int2 -> hypothesis; __PROVED__