the grabbing does not occur.
sent1: if the fact that the politeness does not occur is not false then the dominant does not occur. sent2: if the solemnizing chlorofluorocarbon occurs then the patrol does not occur and the fohn does not occur. sent3: the grabbing occurs if the significantness occurs. sent4: that the patrol does not occur brings about either that the decentralization does not occur or that the retroactiveness occurs or both. sent5: the match does not occur if that the dominant does not occur and/or the fandango happens is not right. sent6: that the decentralization does not occur is not incorrect. sent7: if that the dominant happens and the fandango happens is not true the grab does not occur. sent8: the significantness happens if the fandango occurs. sent9: if the fact that both the politeness and the solemnizing western occurs is not correct the dominantness does not occur. sent10: that the crackle does not occur leads to that the solemnizing Casuarius and the solemnizing chlorofluorocarbon happens. sent11: that the dominantness occurs and the retroactiveness happens is triggered by that the decentralization does not occur. sent12: if the fandango does not occur then the fact that the politeness happens and the solemnizing western happens is wrong.
void -> assump1: Let's assume that the fandango does not occur.; sent12 & assump1 -> int1: the fact that both the politeness and the solemnizing western happens is not right.; int1 & sent9 -> int2: the dominant does not occur.; sent11 & sent6 -> int3: the dominant happens and the retroactiveness occurs.; int3 -> int4: the dominantness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fandango happens.; int6 & sent8 -> int7: the significantness happens.; int7 & sent3 -> hypothesis;
the match does not occur.
$hypothesis$ = the grabbing does not occur. ; $context$ = sent1: if the fact that the politeness does not occur is not false then the dominant does not occur. sent2: if the solemnizing chlorofluorocarbon occurs then the patrol does not occur and the fohn does not occur. sent3: the grabbing occurs if the significantness occurs. sent4: that the patrol does not occur brings about either that the decentralization does not occur or that the retroactiveness occurs or both. sent5: the match does not occur if that the dominant does not occur and/or the fandango happens is not right. sent6: that the decentralization does not occur is not incorrect. sent7: if that the dominant happens and the fandango happens is not true the grab does not occur. sent8: the significantness happens if the fandango occurs. sent9: if the fact that both the politeness and the solemnizing western occurs is not correct the dominantness does not occur. sent10: that the crackle does not occur leads to that the solemnizing Casuarius and the solemnizing chlorofluorocarbon happens. sent11: that the dominantness occurs and the retroactiveness happens is triggered by that the decentralization does not occur. sent12: if the fandango does not occur then the fact that the politeness happens and the solemnizing western happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fandango does not occur.; sent12 & assump1 -> int1: the fact that both the politeness and the solemnizing western happens is not right.; int1 & sent9 -> int2: the dominant does not occur.; sent11 & sent6 -> int3: the dominant happens and the retroactiveness occurs.; int3 -> int4: the dominantness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fandango happens.; int6 & sent8 -> int7: the significantness happens.; int7 & sent3 -> hypothesis; __DISPROVED__