the raking menhaden does not occur and the Levantine does not occur.
sent1: the fact that that the skimming and the whistling happens is not correct is not wrong if the fact that the beginning alphabetization does not occur hold. sent2: the raking pine does not occur if that the Calvary does not occur and the beginning alphabetization does not occur does not hold. sent3: the Levantine does not occur. sent4: the dichroism occurs. sent5: if the fact that the skimming and the whistling occurs is not right the raking menhaden does not occur. sent6: if that the constructiveness does not occur is not incorrect the activation does not occur. sent7: that the whistle does not occur prevents the raking menhaden. sent8: the Calvary does not occur if the beginning alphabetization occurs. sent9: the fact that the Spark occurs and the fuming happens does not hold if the sigmoidoscopy does not occur. sent10: the preaching does not occur if the stampeding occurs. sent11: the dichroism occurs and the Calvary happens.
void -> assump1: Let's assume that that the beginning alphabetization occurs hold.; sent8 & assump1 -> int1: the Calvary does not occur.; sent11 -> int2: the Calvary happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the beginning alphabetization does not occur.; int4 & sent1 -> int5: the fact that the skimming and the whistling happens is wrong.; int5 & sent5 -> int6: the raking menhaden does not occur.; int6 & sent3 -> hypothesis;
the raking pine does not occur.
$hypothesis$ = the raking menhaden does not occur and the Levantine does not occur. ; $context$ = sent1: the fact that that the skimming and the whistling happens is not correct is not wrong if the fact that the beginning alphabetization does not occur hold. sent2: the raking pine does not occur if that the Calvary does not occur and the beginning alphabetization does not occur does not hold. sent3: the Levantine does not occur. sent4: the dichroism occurs. sent5: if the fact that the skimming and the whistling occurs is not right the raking menhaden does not occur. sent6: if that the constructiveness does not occur is not incorrect the activation does not occur. sent7: that the whistle does not occur prevents the raking menhaden. sent8: the Calvary does not occur if the beginning alphabetization occurs. sent9: the fact that the Spark occurs and the fuming happens does not hold if the sigmoidoscopy does not occur. sent10: the preaching does not occur if the stampeding occurs. sent11: the dichroism occurs and the Calvary happens. ; $proof$ = 
void -> assump1: Let's assume that that the beginning alphabetization occurs hold.; sent8 & assump1 -> int1: the Calvary does not occur.; sent11 -> int2: the Calvary happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the beginning alphabetization does not occur.; int4 & sent1 -> int5: the fact that the skimming and the whistling happens is wrong.; int5 & sent5 -> int6: the raking menhaden does not occur.; int6 & sent3 -> hypothesis; __PROVED__