the respecter is a folderal and/or does not whistle ordered.
sent1: if the crossbench is dermal and it is a monarchy then it is undiplomatic. sent2: if the crossbench is not dermal and is a monarchy then it is undiplomatic. sent3: there exists something such that that it is not dermal and it is a kind of a carangid is not correct. sent4: if something that is not a Burlington is not a kind of a carangid the crossbench is not undiplomatic. sent5: that the crossbench is not undiplomatic is right if something that is not a kind of a Burlington is a carangid. sent6: the fact that the respecter does not whistle ordered hold if there is something such that that it is not a Burlington and is not carangid is not correct.
void -> assump1: Let's assume that the beechnut is not a kind of a Burlington and it is not a kind of a carangid.; assump1 -> int1: something is not a kind of a Burlington and is not a kind of a carangid.; int1 & sent4 -> int2: the crossbench is not undiplomatic.;
$hypothesis$ = the respecter is a folderal and/or does not whistle ordered. ; $context$ = sent1: if the crossbench is dermal and it is a monarchy then it is undiplomatic. sent2: if the crossbench is not dermal and is a monarchy then it is undiplomatic. sent3: there exists something such that that it is not dermal and it is a kind of a carangid is not correct. sent4: if something that is not a Burlington is not a kind of a carangid the crossbench is not undiplomatic. sent5: that the crossbench is not undiplomatic is right if something that is not a kind of a Burlington is a carangid. sent6: the fact that the respecter does not whistle ordered hold if there is something such that that it is not a Burlington and is not carangid is not correct. ; $proof$ = 
void -> assump1: Let's assume that the beechnut is not a kind of a Burlington and it is not a kind of a carangid.; assump1 -> int1: something is not a kind of a Burlington and is not a kind of a carangid.; int1 & sent4 -> int2: the crossbench is not undiplomatic.; __UNKNOWN__