that the collimator is not actual and is not a nosepiece does not hold.
sent1: if the cutlassfish is not opisthognathous then the collimator is a kind of a nitroglycerin. sent2: that something is a kind of a ball but it is not avocational does not hold if it is not a nitroglycerin. sent3: that the collimator is a nitroglycerin hold. sent4: the fact that the collimator is not avocational and it is not opisthognathous is not right. sent5: if the fact that something is a ball but not avocational is not right it does not ball. sent6: if the babbler is a ball then the cutlassfish is not a nitroglycerin. sent7: that the collimator is both not actual and not a nosepiece is false if it is opisthognathous. sent8: if the collimator does not bow pickup it is a kind of a mullion. sent9: the babbler is not a nitroglycerin but it is avocational if the cutlassfish is not a nitroglycerin. sent10: the fact that the jaeger balls is not false if the babbler is not a balls. sent11: if the cutlassfish does not bow pickup the collimator is a crewelwork. sent12: if the collimator is a mullion it is not non-opisthognathous. sent13: if the fact that the cutlassfish is not a kind of a crewelwork and it is not a ball is false then the collimator does not bow pickup. sent14: something is not a nitroglycerin if it is not a kind of a crewelwork and is not a ball. sent15: the procyclidine is opisthognathous. sent16: that the swiftlet is a radioprotection but it is not judicial is not correct. sent17: the babbler does not upgrade suttee and is avocational. sent18: the fact that the collimator is actual and not a nosepiece is not correct.
sent14 -> int1: if the cutlassfish is not a crewelwork and it is not a kind of a ball then it is not a kind of a nitroglycerin.; void -> assump1: Let's assume that the cutlassfish is not a crewelwork and is not a ball.; int1 & assump1 -> int2: the cutlassfish is not a nitroglycerin.; int2 & sent9 -> int3: the babbler is not a nitroglycerin and is avocational.;
the jaeger is a ball.
sent5 -> int4: if that the babbler is a ball that is not avocational is wrong that it is not a ball is right.; sent2 -> int5: if the babbler is not a nitroglycerin then the fact that it is a ball and it is not avocational is false.; sent15 -> int6: there exists something such that it is opisthognathous.;
$hypothesis$ = that the collimator is not actual and is not a nosepiece does not hold. ; $context$ = sent1: if the cutlassfish is not opisthognathous then the collimator is a kind of a nitroglycerin. sent2: that something is a kind of a ball but it is not avocational does not hold if it is not a nitroglycerin. sent3: that the collimator is a nitroglycerin hold. sent4: the fact that the collimator is not avocational and it is not opisthognathous is not right. sent5: if the fact that something is a ball but not avocational is not right it does not ball. sent6: if the babbler is a ball then the cutlassfish is not a nitroglycerin. sent7: that the collimator is both not actual and not a nosepiece is false if it is opisthognathous. sent8: if the collimator does not bow pickup it is a kind of a mullion. sent9: the babbler is not a nitroglycerin but it is avocational if the cutlassfish is not a nitroglycerin. sent10: the fact that the jaeger balls is not false if the babbler is not a balls. sent11: if the cutlassfish does not bow pickup the collimator is a crewelwork. sent12: if the collimator is a mullion it is not non-opisthognathous. sent13: if the fact that the cutlassfish is not a kind of a crewelwork and it is not a ball is false then the collimator does not bow pickup. sent14: something is not a nitroglycerin if it is not a kind of a crewelwork and is not a ball. sent15: the procyclidine is opisthognathous. sent16: that the swiftlet is a radioprotection but it is not judicial is not correct. sent17: the babbler does not upgrade suttee and is avocational. sent18: the fact that the collimator is actual and not a nosepiece is not correct. ; $proof$ = 
sent14 -> int1: if the cutlassfish is not a crewelwork and it is not a kind of a ball then it is not a kind of a nitroglycerin.; void -> assump1: Let's assume that the cutlassfish is not a crewelwork and is not a ball.; int1 & assump1 -> int2: the cutlassfish is not a nitroglycerin.; int2 & sent9 -> int3: the babbler is not a nitroglycerin and is avocational.; __UNKNOWN__