the fact that there is something such that that it is not rupestral and it is not a unconnectedness is false is not correct.
sent1: there exists something such that the fact that it is rupestral and it is not a unconnectedness is incorrect. sent2: something is non-rupestral thing that is not a unconnectedness. sent3: the fact that that the sturgeon is rupestral but it is not a unconnectedness is wrong is correct. sent4: the fact that that the sturgeon is both not rupestral and a unconnectedness hold is not true. sent5: the fact that the Mithraist is disorderly thing that is not a unconnectedness is not true. sent6: the fact that the Crane is a kind of corinthian thing that is not a parimutuel does not hold if that it is not a kind of a copalite hold. sent7: if the sturgeon is not corinthian then the fact that it is not rupestral and it is a unconnectedness is wrong. sent8: the sturgeon is not corinthian. sent9: there exists something such that the fact that it is a unconnectedness and is not corinthian does not hold. sent10: the fact that the sturgeon is not non-downstream but it does not tick does not hold if it is not a unconnectedness. sent11: the fact that the sturgeon is microsomal and does not charm Kesey is incorrect. sent12: there exists something such that that it is not rupestral and it is a kind of a unconnectedness is false. sent13: if that the sturgeon does not rice withstander is not incorrect then the fact that the fact that it is a kind of a unconnectedness and it is not a convertible is not false is not correct. sent14: if the sturgeon is not corinthian then the fact that it is a kind of rupestral thing that is not a unconnectedness is not true. sent15: if the sturgeon is not corinthian then the fact that it is both not rupestral and not a unconnectedness is not right.
sent15 & sent8 -> int1: that the sturgeon is not rupestral and it is not a kind of a unconnectedness is not true.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that that it is not rupestral and it is not a unconnectedness is false is not correct. ; $context$ = sent1: there exists something such that the fact that it is rupestral and it is not a unconnectedness is incorrect. sent2: something is non-rupestral thing that is not a unconnectedness. sent3: the fact that that the sturgeon is rupestral but it is not a unconnectedness is wrong is correct. sent4: the fact that that the sturgeon is both not rupestral and a unconnectedness hold is not true. sent5: the fact that the Mithraist is disorderly thing that is not a unconnectedness is not true. sent6: the fact that the Crane is a kind of corinthian thing that is not a parimutuel does not hold if that it is not a kind of a copalite hold. sent7: if the sturgeon is not corinthian then the fact that it is not rupestral and it is a unconnectedness is wrong. sent8: the sturgeon is not corinthian. sent9: there exists something such that the fact that it is a unconnectedness and is not corinthian does not hold. sent10: the fact that the sturgeon is not non-downstream but it does not tick does not hold if it is not a unconnectedness. sent11: the fact that the sturgeon is microsomal and does not charm Kesey is incorrect. sent12: there exists something such that that it is not rupestral and it is a kind of a unconnectedness is false. sent13: if that the sturgeon does not rice withstander is not incorrect then the fact that the fact that it is a kind of a unconnectedness and it is not a convertible is not false is not correct. sent14: if the sturgeon is not corinthian then the fact that it is a kind of rupestral thing that is not a unconnectedness is not true. sent15: if the sturgeon is not corinthian then the fact that it is both not rupestral and not a unconnectedness is not right. ; $proof$ = 
sent15 & sent8 -> int1: that the sturgeon is not rupestral and it is not a kind of a unconnectedness is not true.; int1 -> hypothesis; __DISPROVED__