that if the cleavage occurs that the cousinliness does not occur and the defeat does not occur is not correct does not hold.
sent1: that the lowbornness but not the speech happens triggers the cleavage. sent2: the slavery and the non-vinaceousness happens. sent3: the demineralizing Christmasberry occurs. sent4: if the papilliformness happens and the digressing occurs then the prostration does not occur. sent5: the speech does not occur. sent6: if the cousinliness does not occur then the lowbornness but not the speech happens. sent7: the fact that not the cousinliness but the defeat occurs is not true. sent8: the fabricating investigator does not occur if the chancing Byelorussian does not occur. sent9: if the lowbornness but not the speech occurs the cleavage does not occur. sent10: the technophobicness does not occur. sent11: the fact that that the jujutsu occurs and the removableness happens results in that the strapping palindrome does not occur is true. sent12: that both the counterrevolutionariness and the demineralizing menial occurs results in that the fabricating widowed does not occur. sent13: the slapping does not occur.
void -> assump2: Let's assume that the cleavage happens.; void -> assump1: Let's assume that the cousinliness does not occur and the defeat does not occur.; assump1 -> int1: the cousinliness does not occur.; sent6 & int1 -> int2: the lowbornness but not the speech occurs.; sent9 & int2 -> int3: the cleavage does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the cousinliness does not occur and the defeat does not occur does not hold.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that if the cleavage occurs that the cousinliness does not occur and the defeat does not occur is not correct does not hold. ; $context$ = sent1: that the lowbornness but not the speech happens triggers the cleavage. sent2: the slavery and the non-vinaceousness happens. sent3: the demineralizing Christmasberry occurs. sent4: if the papilliformness happens and the digressing occurs then the prostration does not occur. sent5: the speech does not occur. sent6: if the cousinliness does not occur then the lowbornness but not the speech happens. sent7: the fact that not the cousinliness but the defeat occurs is not true. sent8: the fabricating investigator does not occur if the chancing Byelorussian does not occur. sent9: if the lowbornness but not the speech occurs the cleavage does not occur. sent10: the technophobicness does not occur. sent11: the fact that that the jujutsu occurs and the removableness happens results in that the strapping palindrome does not occur is true. sent12: that both the counterrevolutionariness and the demineralizing menial occurs results in that the fabricating widowed does not occur. sent13: the slapping does not occur. ; $proof$ = 
void -> assump2: Let's assume that the cleavage happens.; void -> assump1: Let's assume that the cousinliness does not occur and the defeat does not occur.; assump1 -> int1: the cousinliness does not occur.; sent6 & int1 -> int2: the lowbornness but not the speech occurs.; sent9 & int2 -> int3: the cleavage does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the cousinliness does not occur and the defeat does not occur does not hold.; [assump2] & int5 -> hypothesis; __DISPROVED__