there exists something such that the fact that it is not a jumping and not a shore is not false.
sent1: the sodomy is choric if it is a kind of a Carcharodon. sent2: if there is something such that that it is not a lace hold the sodomy does not breakfast fame and it is not naturistic. sent3: something is not a piroplasm. sent4: the sodomy does not shore. sent5: if something is choric then it is not a kind of a shore. sent6: the tichodrome is not a Republican and not paintable. sent7: there is something such that it is not a carrycot. sent8: there is something such that it does not jump. sent9: the sodomy does not harmonize and does not breakfast teaspoon. sent10: there is something such that it does braid sainthood. sent11: something is not a shore. sent12: the sodomy is a Carcharodon and a Frank. sent13: that there exists something such that it is not epicarpal hold. sent14: there is something such that it does jump and does not shore. sent15: something is not a Loestrin and it does not amerce radian. sent16: something is both not Burundi and not a distributor if it does braid sainthood. sent17: there is something such that it is not a carrycot and not latest. sent18: the variorum is not a shore and is not autolytic. sent19: the sodomy is not a shore if something does not braid sainthood. sent20: there exists something such that it is not a kind of a jumping and is a shore. sent21: something does not braid sainthood.
the fact that the sodomy is both not Burundi and not a distributor hold.
sent16 -> int1: if the sodomy does braid sainthood it is not Burundi and not a distributor.; sent5 -> int2: if the sodomy is choric then that it is not a shore hold.; sent12 -> int3: the sodomy is a Carcharodon.; sent1 & int3 -> int4: the sodomy is choric.; int2 & int4 -> int5: the sodomy is not a kind of a shore.;
$hypothesis$ = there exists something such that the fact that it is not a jumping and not a shore is not false. ; $context$ = sent1: the sodomy is choric if it is a kind of a Carcharodon. sent2: if there is something such that that it is not a lace hold the sodomy does not breakfast fame and it is not naturistic. sent3: something is not a piroplasm. sent4: the sodomy does not shore. sent5: if something is choric then it is not a kind of a shore. sent6: the tichodrome is not a Republican and not paintable. sent7: there is something such that it is not a carrycot. sent8: there is something such that it does not jump. sent9: the sodomy does not harmonize and does not breakfast teaspoon. sent10: there is something such that it does braid sainthood. sent11: something is not a shore. sent12: the sodomy is a Carcharodon and a Frank. sent13: that there exists something such that it is not epicarpal hold. sent14: there is something such that it does jump and does not shore. sent15: something is not a Loestrin and it does not amerce radian. sent16: something is both not Burundi and not a distributor if it does braid sainthood. sent17: there is something such that it is not a carrycot and not latest. sent18: the variorum is not a shore and is not autolytic. sent19: the sodomy is not a shore if something does not braid sainthood. sent20: there exists something such that it is not a kind of a jumping and is a shore. sent21: something does not braid sainthood. ; $proof$ = 
__UNKNOWN__