if the grossness does not occur then either the decompression happens or the bacchanal occurs or both.
sent1: the decompression or the bacchanal or both occurs if the gross happens. sent2: the selfishness does not occur if the grossness does not occur. sent3: if that the grossness occurs is right then the selfishness does not occur. sent4: the decompression occurs if the selfishness does not occur. sent5: that the malversation and the non-grossness occurs is brought about by that the selfishness happens. sent6: that the gathering metronidazole occurs yields that the bacchanal does not occur.
void -> assump1: Let's assume that the grossing does not occur.; sent2 & assump1 -> int1: the selfishness does not occur.; sent4 & int1 -> int2: the decompression happens.; int2 -> int3: the decompression and/or the bacchanal happens.; [assump1] & int3 -> hypothesis;
the malversation occurs.
$hypothesis$ = if the grossness does not occur then either the decompression happens or the bacchanal occurs or both. ; $context$ = sent1: the decompression or the bacchanal or both occurs if the gross happens. sent2: the selfishness does not occur if the grossness does not occur. sent3: if that the grossness occurs is right then the selfishness does not occur. sent4: the decompression occurs if the selfishness does not occur. sent5: that the malversation and the non-grossness occurs is brought about by that the selfishness happens. sent6: that the gathering metronidazole occurs yields that the bacchanal does not occur. ; $proof$ = 
void -> assump1: Let's assume that the grossing does not occur.; sent2 & assump1 -> int1: the selfishness does not occur.; sent4 & int1 -> int2: the decompression happens.; int2 -> int3: the decompression and/or the bacchanal happens.; [assump1] & int3 -> hypothesis; __PROVED__