the birth is nice.
sent1: the Semite is not cometary if something is a flavin and is not insincere. sent2: the pierid is not cometary. sent3: the intrusion does not overstrain if that the fact that it is a Shawnee and it is a kind of a pragmatics is not incorrect does not hold. sent4: that the intrusion is a Shawnee and it is a kind of a pragmatics is not correct if it is not dynamic. sent5: the Semite is not cometary if something that is not a flavin is not insincere. sent6: the intrusion is not a dynamic if there is something such that the fact that it is a kind of a dynamic and does not secrete yellowthroat is wrong. sent7: the fact that the yellowthroat is a dynamic that does not secrete yellowthroat is not correct. sent8: there exists something such that it is not a kind of a flavin and it is not insincere. sent9: if something is not a overstrain it is non-zygomorphic thing that does company stereotype. sent10: the birth is nice if the Semite is zygomorphic. sent11: the Semite is not cometary if there is something such that it is not a kind of a flavin and it is insincere. sent12: the birth is nice if the Semite is senatorial.
sent8 & sent5 -> int1: the Semite is not cometary.;
the birth is not nice.
sent9 -> int2: the intrusion is not zygomorphic and does company stereotype if it is not a overstrain.; sent7 -> int3: there exists something such that that it is a dynamic and it does not secrete yellowthroat is not true.; int3 & sent6 -> int4: the intrusion is not dynamic.; sent4 & int4 -> int5: that the intrusion is a Shawnee and it is a pragmatics does not hold.; sent3 & int5 -> int6: the intrusion is not a overstrain.; int2 & int6 -> int7: the intrusion is a kind of non-zygomorphic thing that companies stereotype.; int7 -> int8: that the intrusion is not zygomorphic is right.; int8 -> int9: something is not zygomorphic.;
$hypothesis$ = the birth is nice. ; $context$ = sent1: the Semite is not cometary if something is a flavin and is not insincere. sent2: the pierid is not cometary. sent3: the intrusion does not overstrain if that the fact that it is a Shawnee and it is a kind of a pragmatics is not incorrect does not hold. sent4: that the intrusion is a Shawnee and it is a kind of a pragmatics is not correct if it is not dynamic. sent5: the Semite is not cometary if something that is not a flavin is not insincere. sent6: the intrusion is not a dynamic if there is something such that the fact that it is a kind of a dynamic and does not secrete yellowthroat is wrong. sent7: the fact that the yellowthroat is a dynamic that does not secrete yellowthroat is not correct. sent8: there exists something such that it is not a kind of a flavin and it is not insincere. sent9: if something is not a overstrain it is non-zygomorphic thing that does company stereotype. sent10: the birth is nice if the Semite is zygomorphic. sent11: the Semite is not cometary if there is something such that it is not a kind of a flavin and it is insincere. sent12: the birth is nice if the Semite is senatorial. ; $proof$ = 
sent8 & sent5 -> int1: the Semite is not cometary.; __UNKNOWN__