the jujube is not a bayonet if the fact that the patriot dibbles is not false.
sent1: the jujube does bayonet if the patriot does dibble and it is rhythmical. sent2: something does straighten patriot and it is a trip if it is not a cornerback. sent3: the jujube does not bayonet if the patriot is a dibble and it is rhythmical. sent4: the fact that the bunting does sing and it contemplates Mahdi is not correct if there exists something such that it is a kind of a cornerback. sent5: there exists something such that it is a cornerback.
void -> assump1: Let's assume that that the patriot dibbles is not wrong.; sent5 & sent4 -> int1: that the bunting sings and it does contemplate Mahdi is not correct.; int1 -> int2: there exists something such that the fact that it does sing and does contemplate Mahdi is wrong.;
the rabbit does straighten patriot and does trip.
sent2 -> int3: the rabbit does straighten patriot and it is a trip if it is not a cornerback.;
$hypothesis$ = the jujube is not a bayonet if the fact that the patriot dibbles is not false. ; $context$ = sent1: the jujube does bayonet if the patriot does dibble and it is rhythmical. sent2: something does straighten patriot and it is a trip if it is not a cornerback. sent3: the jujube does not bayonet if the patriot is a dibble and it is rhythmical. sent4: the fact that the bunting does sing and it contemplates Mahdi is not correct if there exists something such that it is a kind of a cornerback. sent5: there exists something such that it is a cornerback. ; $proof$ = 
void -> assump1: Let's assume that that the patriot dibbles is not wrong.; sent5 & sent4 -> int1: that the bunting sings and it does contemplate Mahdi is not correct.; int1 -> int2: there exists something such that the fact that it does sing and does contemplate Mahdi is wrong.; __UNKNOWN__