that the fact that the grating does not occur and the predating dodge occurs does not hold if that the Norwegian happens hold is false.
sent1: that the grating and the predating dodge occurs does not hold if the witch-hunt does not occur. sent2: the witch-hunt occurs if the grating occurs. sent3: the caption occurs. sent4: that the disinfestation and the Norwegian occurs yields that the witch-hunt does not occur. sent5: if the squinching distaff does not occur then the predating dodge happens and the imperishableness occurs. sent6: if the Norwegianness occurs that the grate and the predating dodge occurs does not hold. sent7: the scouting counterterrorist does not occur if the affirmative and the optimization happens. sent8: the woodiness happens and the disinfestation happens. sent9: that the grating and the predating dodge occurs is not right. sent10: that both the predating anima and the trading occurs does not hold if the suppression does not occur. sent11: that the promotion does not occur but the blastodermaticness occurs is incorrect if the woodiness does not occur. sent12: that the non-Norwegianness and the disinfestation occurs prevents that the woodiness occurs. sent13: that the fact that not the grating but the predating dodge occurs is not false is false if the witch-hunt does not occur.
sent8 -> int1: the disinfestation occurs.; void -> assump1: Let's assume that that the Norwegianness happens hold.; int1 & assump1 -> int2: both the disinfestation and the Norwegian occurs.; sent4 & int2 -> int3: the witch-hunt does not occur.; sent13 & int3 -> int4: the fact that the grate does not occur and the predating dodge occurs does not hold.; [assump1] & int4 -> hypothesis;
that not the promotion but the blastodermaticness occurs is incorrect.
$hypothesis$ = that the fact that the grating does not occur and the predating dodge occurs does not hold if that the Norwegian happens hold is false. ; $context$ = sent1: that the grating and the predating dodge occurs does not hold if the witch-hunt does not occur. sent2: the witch-hunt occurs if the grating occurs. sent3: the caption occurs. sent4: that the disinfestation and the Norwegian occurs yields that the witch-hunt does not occur. sent5: if the squinching distaff does not occur then the predating dodge happens and the imperishableness occurs. sent6: if the Norwegianness occurs that the grate and the predating dodge occurs does not hold. sent7: the scouting counterterrorist does not occur if the affirmative and the optimization happens. sent8: the woodiness happens and the disinfestation happens. sent9: that the grating and the predating dodge occurs is not right. sent10: that both the predating anima and the trading occurs does not hold if the suppression does not occur. sent11: that the promotion does not occur but the blastodermaticness occurs is incorrect if the woodiness does not occur. sent12: that the non-Norwegianness and the disinfestation occurs prevents that the woodiness occurs. sent13: that the fact that not the grating but the predating dodge occurs is not false is false if the witch-hunt does not occur. ; $proof$ = 
sent8 -> int1: the disinfestation occurs.; void -> assump1: Let's assume that that the Norwegianness happens hold.; int1 & assump1 -> int2: both the disinfestation and the Norwegian occurs.; sent4 & int2 -> int3: the witch-hunt does not occur.; sent13 & int3 -> int4: the fact that the grate does not occur and the predating dodge occurs does not hold.; [assump1] & int4 -> hypothesis; __DISPROVED__