the hawkmoth does not deduce Northrop.
sent1: the pyrope deduces auger and does not checkmate support if it is not a kind of a Jansenism. sent2: the hawkmoth deduces Northrop if the pyrope does not checkmate cacique and it is not anticholinergic. sent3: the pyrope is not a Jansenism. sent4: the fact that the pyrope does checkmate vibrio is right. sent5: if something that does deduce auger does not checkmate support then it does not checkmate cacique. sent6: the pyrope is not a anticholinergic and it is not a kind of a casing if it checkmates vibrio. sent7: The fact that the vibrio does checkmate pyrope is right.
sent5 -> int1: the pyrope does not checkmate cacique if it does deduce auger and does not checkmate support.; sent1 & sent3 -> int2: the pyrope deduces auger and does not checkmate support.; int1 & int2 -> int3: the pyrope does not checkmate cacique.; sent6 & sent4 -> int4: the pyrope is not a anticholinergic and it is not a casing.; int4 -> int5: the pyrope is not a anticholinergic.; int3 & int5 -> int6: the pyrope does not checkmate cacique and is not a kind of a anticholinergic.; int6 & sent2 -> hypothesis;
$hypothesis$ = the hawkmoth does not deduce Northrop. ; $context$ = sent1: the pyrope deduces auger and does not checkmate support if it is not a kind of a Jansenism. sent2: the hawkmoth deduces Northrop if the pyrope does not checkmate cacique and it is not anticholinergic. sent3: the pyrope is not a Jansenism. sent4: the fact that the pyrope does checkmate vibrio is right. sent5: if something that does deduce auger does not checkmate support then it does not checkmate cacique. sent6: the pyrope is not a anticholinergic and it is not a kind of a casing if it checkmates vibrio. sent7: The fact that the vibrio does checkmate pyrope is right. ; $proof$ = 
sent5 -> int1: the pyrope does not checkmate cacique if it does deduce auger and does not checkmate support.; sent1 & sent3 -> int2: the pyrope deduces auger and does not checkmate support.; int1 & int2 -> int3: the pyrope does not checkmate cacique.; sent6 & sent4 -> int4: the pyrope is not a anticholinergic and it is not a casing.; int4 -> int5: the pyrope is not a anticholinergic.; int3 & int5 -> int6: the pyrope does not checkmate cacique and is not a kind of a anticholinergic.; int6 & sent2 -> hypothesis; __DISPROVED__