the wowing hoosegow does not occur and the verbalization does not occur.
sent1: if that the wowing hoosegow does not occur and the verbalization does not occur is not right then the preposing instrument does not occur. sent2: that the tottering occurs but the boom does not occur is false. sent3: that the fact that the hypnotherapy but not the affliction occurs does not hold is right if the chicane does not occur. sent4: if the hermeneuticness does not occur the shingling but not the presage occurs. sent5: that the shingling but not the presage happens prevents the diligence. sent6: the sacramentalness does not occur and the wowing Alaskan does not occur. sent7: if the preposing instrument does not occur the fact that the chicane and the non-sacramentalness occurs does not hold. sent8: the chicane occurs if that the diligence does not occur and the shingling does not occur is incorrect. sent9: the hermeneuticness does not occur if that the hermeneuticness and the non-keylessness happens is not correct.
void -> assump1: Let's assume that the fact that the fact that the wowing hoosegow does not occur and the verbalization does not occur does not hold is true.; sent1 & assump1 -> int1: the preposing instrument does not occur.; int1 & sent7 -> int2: that both the chicane and the non-sacramentalness happens is not true.; sent6 -> int3: the sacramentalness does not occur.;
that the hypnotherapy occurs but the affliction does not occur is not right.
$hypothesis$ = the wowing hoosegow does not occur and the verbalization does not occur. ; $context$ = sent1: if that the wowing hoosegow does not occur and the verbalization does not occur is not right then the preposing instrument does not occur. sent2: that the tottering occurs but the boom does not occur is false. sent3: that the fact that the hypnotherapy but not the affliction occurs does not hold is right if the chicane does not occur. sent4: if the hermeneuticness does not occur the shingling but not the presage occurs. sent5: that the shingling but not the presage happens prevents the diligence. sent6: the sacramentalness does not occur and the wowing Alaskan does not occur. sent7: if the preposing instrument does not occur the fact that the chicane and the non-sacramentalness occurs does not hold. sent8: the chicane occurs if that the diligence does not occur and the shingling does not occur is incorrect. sent9: the hermeneuticness does not occur if that the hermeneuticness and the non-keylessness happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the wowing hoosegow does not occur and the verbalization does not occur does not hold is true.; sent1 & assump1 -> int1: the preposing instrument does not occur.; int1 & sent7 -> int2: that both the chicane and the non-sacramentalness happens is not true.; sent6 -> int3: the sacramentalness does not occur.; __UNKNOWN__