the fact that the conspiratorialness and the Requiem occurs if the dissipating does not occur does not hold.
sent1: that the overburdening menhaden does not occur leads to the fact that that the earful happens and the dissipating occurs is right. sent2: the Vedicness and the Requiem happens. sent3: the overburdening menhaden occurs. sent4: if that the dissipating happens and the overburdening menhaden does not occur is not true then the conspiratorialness happens. sent5: if the fact that the Moravianness happens is not false then both the commination and the brew occurs. sent6: the badminton does not occur.
void -> assump2: Let's assume that the dissipating but not the overburdening menhaden happens.; assump2 -> int1: that the dissipating happens is true.; void -> assump1: Let's assume that the dissipating does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the dissipating but not the overburdening menhaden happens is false.; int3 & sent4 -> int4: the conspiratorialness occurs.; sent2 -> int5: the Requiem happens.; int4 & int5 -> int6: both the conspiratorialness and the Requiem occurs.; [assump1] & int6 -> hypothesis;
the earful happens.
$hypothesis$ = the fact that the conspiratorialness and the Requiem occurs if the dissipating does not occur does not hold. ; $context$ = sent1: that the overburdening menhaden does not occur leads to the fact that that the earful happens and the dissipating occurs is right. sent2: the Vedicness and the Requiem happens. sent3: the overburdening menhaden occurs. sent4: if that the dissipating happens and the overburdening menhaden does not occur is not true then the conspiratorialness happens. sent5: if the fact that the Moravianness happens is not false then both the commination and the brew occurs. sent6: the badminton does not occur. ; $proof$ = 
void -> assump2: Let's assume that the dissipating but not the overburdening menhaden happens.; assump2 -> int1: that the dissipating happens is true.; void -> assump1: Let's assume that the dissipating does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the dissipating but not the overburdening menhaden happens is false.; int3 & sent4 -> int4: the conspiratorialness occurs.; sent2 -> int5: the Requiem happens.; int4 & int5 -> int6: both the conspiratorialness and the Requiem occurs.; [assump1] & int6 -> hypothesis; __DISPROVED__