the special is not a triangularity.
sent1: the special is a existentialist if the fact that it juliennes auspiciousness and is not noninfectious is not correct. sent2: there is nothing that is sectorial and is unorthodox. sent3: if the special is unorthodox then the fact that it is cryogenics hold. sent4: the special claps rafter. sent5: something is a kind of a kleptomaniac if it is an esteemed. sent6: the fact that the special is sectorial and is unorthodox is false. sent7: if something is wheelless it does not clap guilloche. sent8: that the special is mechanistic and not sectorial is not right. sent9: the fact that the mind is sectorial thing that is not a Grenadian is not right. sent10: something is cryogenics if it is unorthodox. sent11: if that the special is a kind of a subthalamus and is not a plane is false the fact that it clanks is not false. sent12: there exists nothing that is both sectorial and not unorthodox. sent13: if the rafter is not an esteemed it is both cryogenics and not a kleptomaniac. sent14: if something is cryogenics it is not a triangularity. sent15: the mind is an esteemed if it is Jain. sent16: the mind is not a rouleau and is not a balk. sent17: the paleocerebellum is cryogenics if the rafter is a kind of a triangularity. sent18: if that something is both not Jain and a balk does not hold it is not an esteemed.
sent12 -> int1: the fact that the special is sectorial but it is not unorthodox is not correct.; sent14 -> int2: the special is not a triangularity if it is cryogenics.;
the paleocerebellum is cryogenics.
sent5 -> int3: if the mind is a kind of an esteemed it is a kleptomaniac.;
$hypothesis$ = the special is not a triangularity. ; $context$ = sent1: the special is a existentialist if the fact that it juliennes auspiciousness and is not noninfectious is not correct. sent2: there is nothing that is sectorial and is unorthodox. sent3: if the special is unorthodox then the fact that it is cryogenics hold. sent4: the special claps rafter. sent5: something is a kind of a kleptomaniac if it is an esteemed. sent6: the fact that the special is sectorial and is unorthodox is false. sent7: if something is wheelless it does not clap guilloche. sent8: that the special is mechanistic and not sectorial is not right. sent9: the fact that the mind is sectorial thing that is not a Grenadian is not right. sent10: something is cryogenics if it is unorthodox. sent11: if that the special is a kind of a subthalamus and is not a plane is false the fact that it clanks is not false. sent12: there exists nothing that is both sectorial and not unorthodox. sent13: if the rafter is not an esteemed it is both cryogenics and not a kleptomaniac. sent14: if something is cryogenics it is not a triangularity. sent15: the mind is an esteemed if it is Jain. sent16: the mind is not a rouleau and is not a balk. sent17: the paleocerebellum is cryogenics if the rafter is a kind of a triangularity. sent18: if that something is both not Jain and a balk does not hold it is not an esteemed. ; $proof$ = 
sent12 -> int1: the fact that the special is sectorial but it is not unorthodox is not correct.; sent14 -> int2: the special is not a triangularity if it is cryogenics.; __UNKNOWN__