the apatite is a stiff.
sent1: there is something such that it does not comment. sent2: the apatite is major if the servo unspells crust. sent3: the bobbin does not habit self-fulfillment if the fact that something is immaterial hold. sent4: if something that is non-Hertzian is not iritic it is not immaterial. sent5: there exists something such that it does not comment and is immaterial. sent6: the carrier is unpaid or it is not a main-topsail or both if it is not a enchantress. sent7: something is not a kind of a Singaporean and does unspell apatite. sent8: the servo is not immaterial. sent9: the gasoline is not a main-topsail if either the carrier is unpaid or it is not a kind of a main-topsail or both. sent10: if there exists something such that that it is not a kind of a main-topsail is correct the servo unspells crust and/or it is stenographic. sent11: something is not Hertzian and is not iritic if it is a asparagine. sent12: the servo does not comment. sent13: if something is a kind of a Zygocactus then it is a asparagine. sent14: the carrier is not a enchantress. sent15: the servo is stiff if something is non-immaterial and it does not comment. sent16: there exists something such that it is not immaterial. sent17: if something majors then it is a kind of a Zygocactus. sent18: the aminomethane is not a kind of a comment.
sent12 & sent8 -> int1: the servo is both not a comment and not immaterial.; int1 -> int2: something is not a kind of a comment and is not immaterial.;
the bobbin does not habit self-fulfillment and it is not a major.
$hypothesis$ = the apatite is a stiff. ; $context$ = sent1: there is something such that it does not comment. sent2: the apatite is major if the servo unspells crust. sent3: the bobbin does not habit self-fulfillment if the fact that something is immaterial hold. sent4: if something that is non-Hertzian is not iritic it is not immaterial. sent5: there exists something such that it does not comment and is immaterial. sent6: the carrier is unpaid or it is not a main-topsail or both if it is not a enchantress. sent7: something is not a kind of a Singaporean and does unspell apatite. sent8: the servo is not immaterial. sent9: the gasoline is not a main-topsail if either the carrier is unpaid or it is not a kind of a main-topsail or both. sent10: if there exists something such that that it is not a kind of a main-topsail is correct the servo unspells crust and/or it is stenographic. sent11: something is not Hertzian and is not iritic if it is a asparagine. sent12: the servo does not comment. sent13: if something is a kind of a Zygocactus then it is a asparagine. sent14: the carrier is not a enchantress. sent15: the servo is stiff if something is non-immaterial and it does not comment. sent16: there exists something such that it is not immaterial. sent17: if something majors then it is a kind of a Zygocactus. sent18: the aminomethane is not a kind of a comment. ; $proof$ = 
sent12 & sent8 -> int1: the servo is both not a comment and not immaterial.; int1 -> int2: something is not a kind of a comment and is not immaterial.; __UNKNOWN__