something is not a surname and does not teeter.
sent1: there exists something such that it is not a kind of a surname. sent2: something is a surname that does not teeter. sent3: the integrator is not a pose if there exists something such that it is not a scarlet. sent4: if the honeysuckle is not a kind of a surname then the integrator does not teeter and it does not pose. sent5: if there is something such that the fact that it is both a scarlet and technophobic is false the integrator is not a pose. sent6: the integrator is not a surname and does not teeter if the honeysuckle is not a pose. sent7: there is something such that that it poses and it is a kind of a surname is not right. sent8: the integrator is not a casing. sent9: the absentee does not teeter. sent10: the fact that if the integrator is not a pose then the honeysuckle does not teeter is true. sent11: the integrator does not pose and it does not teeter if the honeysuckle is not a surname. sent12: something does not teeter and is a pose. sent13: there exists something such that it is not a pose and it teeters. sent14: the integrator is not a surname and it is not a pose if the honeysuckle does not teeter. sent15: the honeysuckle is not a kind of a spermicide. sent16: there exists something such that that it is a scarlet and technophobic is wrong. sent17: something is a kind of a scarlet that is technophobic. sent18: there exists something such that the fact that it is a kind of a surname and poses is not correct.
sent16 & sent5 -> int1: the integrator is not a kind of a pose.;
$hypothesis$ = something is not a surname and does not teeter. ; $context$ = sent1: there exists something such that it is not a kind of a surname. sent2: something is a surname that does not teeter. sent3: the integrator is not a pose if there exists something such that it is not a scarlet. sent4: if the honeysuckle is not a kind of a surname then the integrator does not teeter and it does not pose. sent5: if there is something such that the fact that it is both a scarlet and technophobic is false the integrator is not a pose. sent6: the integrator is not a surname and does not teeter if the honeysuckle is not a pose. sent7: there is something such that that it poses and it is a kind of a surname is not right. sent8: the integrator is not a casing. sent9: the absentee does not teeter. sent10: the fact that if the integrator is not a pose then the honeysuckle does not teeter is true. sent11: the integrator does not pose and it does not teeter if the honeysuckle is not a surname. sent12: something does not teeter and is a pose. sent13: there exists something such that it is not a pose and it teeters. sent14: the integrator is not a surname and it is not a pose if the honeysuckle does not teeter. sent15: the honeysuckle is not a kind of a spermicide. sent16: there exists something such that that it is a scarlet and technophobic is wrong. sent17: something is a kind of a scarlet that is technophobic. sent18: there exists something such that the fact that it is a kind of a surname and poses is not correct. ; $proof$ = 
sent16 & sent5 -> int1: the integrator is not a kind of a pose.; __UNKNOWN__