something is non-alvine thing that is not bivalent.
sent1: the dirt is not anal. sent2: there is something such that it is not a scrutineer. sent3: something does not torment whip but it is Anglophilic. sent4: there are incorrigible things. sent5: there exists something such that it does not torment whip. sent6: there is something such that it is non-Baltic and it does not torment depth. sent7: the dirt is not bivalent if there is something such that it is not a kind of a backed. sent8: something is non-backed. sent9: the dirt is not a customs and is not bivalent. sent10: if the dirt does not bob eoraptor then the fact that it torments hazard and is a kind of a backed does not hold. sent11: if something is not a crochet then the dirt does not bob subnormal and is non-pro. sent12: if the sidelight is a kind of a backed then the dirt is not anal and it is not a Poecilocapsus. sent13: if that the dirt torments hazard and it is backed does not hold then it is not a kind of a backed. sent14: something is not non-backed. sent15: there exists something such that it is a kind of non-alvine thing that is not non-bivalent. sent16: if there exists something such that it is not a kind of a Colorado then the dirt does not back. sent17: if a non-alvine thing is not a backed then it is not a ceramics. sent18: there exists something such that it does not troop thermoplastic and it does not torment dirt. sent19: something does not torment imaging and is not a scrutineer. sent20: if a non-matutinal thing is not bivalent then it is not alvine. sent21: there exists something such that it is not alvine.
there is something such that it is not a ceramics.
sent17 -> int1: the dirt is not ceramics if it is not alvine and it is not backed.; sent20 -> int2: if the dirt is not matutinal and it is not bivalent it is not alvine.;
$hypothesis$ = something is non-alvine thing that is not bivalent. ; $context$ = sent1: the dirt is not anal. sent2: there is something such that it is not a scrutineer. sent3: something does not torment whip but it is Anglophilic. sent4: there are incorrigible things. sent5: there exists something such that it does not torment whip. sent6: there is something such that it is non-Baltic and it does not torment depth. sent7: the dirt is not bivalent if there is something such that it is not a kind of a backed. sent8: something is non-backed. sent9: the dirt is not a customs and is not bivalent. sent10: if the dirt does not bob eoraptor then the fact that it torments hazard and is a kind of a backed does not hold. sent11: if something is not a crochet then the dirt does not bob subnormal and is non-pro. sent12: if the sidelight is a kind of a backed then the dirt is not anal and it is not a Poecilocapsus. sent13: if that the dirt torments hazard and it is backed does not hold then it is not a kind of a backed. sent14: something is not non-backed. sent15: there exists something such that it is a kind of non-alvine thing that is not non-bivalent. sent16: if there exists something such that it is not a kind of a Colorado then the dirt does not back. sent17: if a non-alvine thing is not a backed then it is not a ceramics. sent18: there exists something such that it does not troop thermoplastic and it does not torment dirt. sent19: something does not torment imaging and is not a scrutineer. sent20: if a non-matutinal thing is not bivalent then it is not alvine. sent21: there exists something such that it is not alvine. ; $proof$ = 
__UNKNOWN__