the fact that there exists something such that if the fact that it does toss cantala and it is a fundamentalist is wrong then it is not a surface does not hold.
sent1: the cheroot is not surface if it does not toss cantala. sent2: if the fact that the cheroot does toss cantala and is a fundamentalist is not true then it does surface. sent3: there exists something such that if that it does toss cantala and is a kind of a fundamentalist does not hold it is a kind of a surface. sent4: if the cheroot does toss cantala and it is a fundamentalist then it is not surface. sent5: there exists something such that if the fact that it is a poster and christian is not right it does not hone amplitude. sent6: if the fact that something does toss cantala and is a kind of a fundamentalist is not right then the fact that it does surface is correct. sent7: there is something such that if it does not toss cantala it is not a surface. sent8: if something that does toss cantala is a fundamentalist then it is not a kind of a surface. sent9: if the fact that the fact that something tosses cantala and it is a kind of a fundamentalist is not incorrect is not correct then the fact that it does not surface is not incorrect. sent10: if the fact that the cheroot is both a fundamentalist and a Jersey does not hold it does not toss hazard. sent11: there is something such that if it does toss cantala and it is a fundamentalist then it is not a kind of a surface. sent12: there exists something such that if it is not fundamentalist the fact that it is not a kind of a surface is not incorrect.
sent9 -> int1: the cheroot is not a surface if the fact that it tosses cantala and it is a kind of a fundamentalist is wrong.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does toss cantala and it is a fundamentalist is wrong then it is not a surface does not hold. ; $context$ = sent1: the cheroot is not surface if it does not toss cantala. sent2: if the fact that the cheroot does toss cantala and is a fundamentalist is not true then it does surface. sent3: there exists something such that if that it does toss cantala and is a kind of a fundamentalist does not hold it is a kind of a surface. sent4: if the cheroot does toss cantala and it is a fundamentalist then it is not surface. sent5: there exists something such that if the fact that it is a poster and christian is not right it does not hone amplitude. sent6: if the fact that something does toss cantala and is a kind of a fundamentalist is not right then the fact that it does surface is correct. sent7: there is something such that if it does not toss cantala it is not a surface. sent8: if something that does toss cantala is a fundamentalist then it is not a kind of a surface. sent9: if the fact that the fact that something tosses cantala and it is a kind of a fundamentalist is not incorrect is not correct then the fact that it does not surface is not incorrect. sent10: if the fact that the cheroot is both a fundamentalist and a Jersey does not hold it does not toss hazard. sent11: there is something such that if it does toss cantala and it is a fundamentalist then it is not a kind of a surface. sent12: there exists something such that if it is not fundamentalist the fact that it is not a kind of a surface is not incorrect. ; $proof$ = 
sent9 -> int1: the cheroot is not a surface if the fact that it tosses cantala and it is a kind of a fundamentalist is wrong.; int1 -> hypothesis; __DISPROVED__