the fact that that there is something such that if the fact that it does condole and it does not shine is not correct then that it does not vault recitation hold is correct is wrong.
sent1: if something does shine it does not vault recitation. sent2: there exists something such that if the fact that it deletes and it is not a Columbus is not true it is a quart. sent3: if that something does condole and does not shine is not correct it does not vault recitation. sent4: if that the baya is a shrug but it is not a kind of a supply is wrong it does not vault recitation. sent5: there exists something such that if the fact that it is not non-gaseous and not gnostic is incorrect it is not a convertible. sent6: if the baya does condole but it does not shine then it does not vault recitation. sent7: there exists something such that if that it is both a Croatian and a Friedman is wrong then the fact that it is not residential is correct. sent8: there is something such that if that it condoles and does not shine is not correct then it vaults recitation. sent9: there is something such that if it does shine then it does not vault recitation.
sent3 -> int1: the fact that the baya does not vault recitation if the fact that the baya condoles but it does not shine is incorrect is not wrong.; int1 -> hypothesis;
$hypothesis$ = the fact that that there is something such that if the fact that it does condole and it does not shine is not correct then that it does not vault recitation hold is correct is wrong. ; $context$ = sent1: if something does shine it does not vault recitation. sent2: there exists something such that if the fact that it deletes and it is not a Columbus is not true it is a quart. sent3: if that something does condole and does not shine is not correct it does not vault recitation. sent4: if that the baya is a shrug but it is not a kind of a supply is wrong it does not vault recitation. sent5: there exists something such that if the fact that it is not non-gaseous and not gnostic is incorrect it is not a convertible. sent6: if the baya does condole but it does not shine then it does not vault recitation. sent7: there exists something such that if that it is both a Croatian and a Friedman is wrong then the fact that it is not residential is correct. sent8: there is something such that if that it condoles and does not shine is not correct then it vaults recitation. sent9: there is something such that if it does shine then it does not vault recitation. ; $proof$ = 
sent3 -> int1: the fact that the baya does not vault recitation if the fact that the baya condoles but it does not shine is incorrect is not wrong.; int1 -> hypothesis; __DISPROVED__