that if that the stigmatic does not occur is not wrong then the eccentric does not occur does not hold.
sent1: that the commutableness occurs prevents that the mending does not occur. sent2: if the garden does not occur and the orthotropousness occurs the hypnotizing calabash occurs. sent3: the hypnotizing jellyroll happens if the mending does not occur. sent4: the commutableness happens. sent5: that the mending occurs prevents that the newspeak does not occur. sent6: if the stigmatic does not occur the eccentricness occurs. sent7: that the hypnotizing calabash occurs and the newspeak occurs prevents that the eccentricness happens. sent8: that the stigmatic does not occur yields that the gardening does not occur and the orthotropousness happens.
void -> assump1: Let's assume that the stigmaticness does not occur.; sent8 & assump1 -> int1: not the gardening but the orthotropousness happens.; int1 & sent2 -> int2: the hypnotizing calabash occurs.; sent1 & sent4 -> int3: that the mending happens is not incorrect.; sent5 & int3 -> int4: the fact that the newspeak occurs hold.; int2 & int4 -> int5: the hypnotizing calabash and the newspeak occurs.; int5 & sent7 -> int6: the eccentric does not occur.; [assump1] & int6 -> hypothesis;
the hypnotizing jellyroll occurs and the irruption occurs.
$hypothesis$ = that if that the stigmatic does not occur is not wrong then the eccentric does not occur does not hold. ; $context$ = sent1: that the commutableness occurs prevents that the mending does not occur. sent2: if the garden does not occur and the orthotropousness occurs the hypnotizing calabash occurs. sent3: the hypnotizing jellyroll happens if the mending does not occur. sent4: the commutableness happens. sent5: that the mending occurs prevents that the newspeak does not occur. sent6: if the stigmatic does not occur the eccentricness occurs. sent7: that the hypnotizing calabash occurs and the newspeak occurs prevents that the eccentricness happens. sent8: that the stigmatic does not occur yields that the gardening does not occur and the orthotropousness happens. ; $proof$ = 
void -> assump1: Let's assume that the stigmaticness does not occur.; sent8 & assump1 -> int1: not the gardening but the orthotropousness happens.; int1 & sent2 -> int2: the hypnotizing calabash occurs.; sent1 & sent4 -> int3: that the mending happens is not incorrect.; sent5 & int3 -> int4: the fact that the newspeak occurs hold.; int2 & int4 -> int5: the hypnotizing calabash and the newspeak occurs.; int5 & sent7 -> int6: the eccentric does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__