that the debriefing grouper does not occur is brought about by the overhaul.
sent1: the debriefing grouper happens. sent2: the theist occurs. sent3: that the fluke happens and the one-stepping occurs triggers the mopping. sent4: the Norman happens if that the overhauling happens is correct. sent5: if the episiotomy happens that the alphanumericsness happens is correct. sent6: that the Norman happens and the theist happens yields that the debriefing grouper does not occur.
void -> assump1: Let's assume that the overhauling happens.; sent4 & assump1 -> int1: the Norman occurs.; int1 & sent2 -> int2: the Norman happens and the theist occurs.; int2 & sent6 -> int3: that the debriefing grouper does not occur is true.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the debriefing grouper does not occur is brought about by the overhaul. ; $context$ = sent1: the debriefing grouper happens. sent2: the theist occurs. sent3: that the fluke happens and the one-stepping occurs triggers the mopping. sent4: the Norman happens if that the overhauling happens is correct. sent5: if the episiotomy happens that the alphanumericsness happens is correct. sent6: that the Norman happens and the theist happens yields that the debriefing grouper does not occur. ; $proof$ = 
void -> assump1: Let's assume that the overhauling happens.; sent4 & assump1 -> int1: the Norman occurs.; int1 & sent2 -> int2: the Norman happens and the theist occurs.; int2 & sent6 -> int3: that the debriefing grouper does not occur is true.; [assump1] & int3 -> hypothesis; __PROVED__