the diaphone is not a kind of a guimpe.
sent1: the diaphone is a Culbertson and is not a kind of a backlog if the Chancellor does nag ecobabble. sent2: the Chancellor either backlogs or is a guimpe or both if the Bubo does not nag cupping. sent3: something that does nag cupping and backlogs is not a guimpe. sent4: the tree does not nag cupping if the diaphone does not nag cupping and it is not a kind of a guimpe. sent5: The cupping does nag diaphone. sent6: the Chancellor nags ecobabble if the fact that the Bubo does nags ecobabble hold. sent7: the diaphone does nag cupping.
sent3 -> int1: the diaphone is not a guimpe if it nags cupping and it backlogs.;
the diaphone is a kind of a guimpe.
$hypothesis$ = the diaphone is not a kind of a guimpe. ; $context$ = sent1: the diaphone is a Culbertson and is not a kind of a backlog if the Chancellor does nag ecobabble. sent2: the Chancellor either backlogs or is a guimpe or both if the Bubo does not nag cupping. sent3: something that does nag cupping and backlogs is not a guimpe. sent4: the tree does not nag cupping if the diaphone does not nag cupping and it is not a kind of a guimpe. sent5: The cupping does nag diaphone. sent6: the Chancellor nags ecobabble if the fact that the Bubo does nags ecobabble hold. sent7: the diaphone does nag cupping. ; $proof$ = 
sent3 -> int1: the diaphone is not a guimpe if it nags cupping and it backlogs.; __UNKNOWN__