there exists something such that it is not a addax.
sent1: if that something is contrapuntal and it is a addax is not true it does not overrun. sent2: if the post is astragalar the fact that it is contrapuntal and it is not a addax is wrong. sent3: the distortion is not a addax if there exists something such that it is not a kind of a stroke. sent4: if something is not contrapuntal then the fact that it is adaptable and it is not a kind of a ceratopsian is false. sent5: there is something such that that it does stroke and it is astragalar is not true. sent6: the distortion is not a kind of a addax if there exists something such that the fact that it is a stroke and it is not astragalar is wrong. sent7: the fact that the distortion is astragalar and is not a addax is incorrect. sent8: if the post is not a bumptiousness the fact that it is both not non-contrapuntal and a addax is not right. sent9: that the bluffer does not stroke is not wrong if there is something such that the fact that it is nosocomial and it is not a kind of an abbe does not hold. sent10: something is a stroke but not astragalar. sent11: the distortion is floral. sent12: that the post is a stroke and not astragalar does not hold if the fact that it is contrapuntal is right. sent13: the fact that the gemma is contrapuntal but it is not a thumbprint is wrong. sent14: there exists something such that it is a addax. sent15: if the fact that something is a kind of a bumptiousness and does not savor is incorrect then it is not a kind of a bumptiousness. sent16: if there exists something such that that it is a kind of a addax and is not astragalar does not hold then the distortion is non-contrapuntal. sent17: the postbox does not circularize eclipse. sent18: the post is nosocomial. sent19: the fact that the baboon does photostat copyreader is not correct.
there is something such that it does not overrun.
sent1 -> int1: the post does not overrun if that it is contrapuntal and it is a kind of a addax is not true.; sent15 -> int2: the post is not a kind of a bumptiousness if that it is a kind of a bumptiousness and it does not savor does not hold.;
$hypothesis$ = there exists something such that it is not a addax. ; $context$ = sent1: if that something is contrapuntal and it is a addax is not true it does not overrun. sent2: if the post is astragalar the fact that it is contrapuntal and it is not a addax is wrong. sent3: the distortion is not a addax if there exists something such that it is not a kind of a stroke. sent4: if something is not contrapuntal then the fact that it is adaptable and it is not a kind of a ceratopsian is false. sent5: there is something such that that it does stroke and it is astragalar is not true. sent6: the distortion is not a kind of a addax if there exists something such that the fact that it is a stroke and it is not astragalar is wrong. sent7: the fact that the distortion is astragalar and is not a addax is incorrect. sent8: if the post is not a bumptiousness the fact that it is both not non-contrapuntal and a addax is not right. sent9: that the bluffer does not stroke is not wrong if there is something such that the fact that it is nosocomial and it is not a kind of an abbe does not hold. sent10: something is a stroke but not astragalar. sent11: the distortion is floral. sent12: that the post is a stroke and not astragalar does not hold if the fact that it is contrapuntal is right. sent13: the fact that the gemma is contrapuntal but it is not a thumbprint is wrong. sent14: there exists something such that it is a addax. sent15: if the fact that something is a kind of a bumptiousness and does not savor is incorrect then it is not a kind of a bumptiousness. sent16: if there exists something such that that it is a kind of a addax and is not astragalar does not hold then the distortion is non-contrapuntal. sent17: the postbox does not circularize eclipse. sent18: the post is nosocomial. sent19: the fact that the baboon does photostat copyreader is not correct. ; $proof$ = 
__UNKNOWN__