if the nonresidentness does not occur then the Rabelaisianness does not occur.
sent1: the pole does not occur. sent2: the pole does not occur but the corpuscularness happens if the ogling Wiccan occurs. sent3: that the ogling golfer does not occur triggers that the drain and the exiting happens. sent4: the ogling golfer does not occur. sent5: both the scholasticness and the deception happens. sent6: the capitularness occurs and the cakewalk happens. sent7: the funfair does not occur. sent8: the draining does not occur if the pole does not occur and the corpuscularness happens. sent9: that the ogling Wiccan does not occur and the nonresident does not occur prevents the Rabelaisianness. sent10: that the drain does not occur is brought about by that both the poling and the corpuscularness occurs. sent11: the Rabelaisianness happens if the nonresident does not occur. sent12: if the ogling Wiccan does not occur and the nonresidentness does not occur the Rabelaisianness happens. sent13: the exiting occurs. sent14: that the nonresidentness happens results in that the Rabelaisianness does not occur. sent15: that the ogling cotoneaster does not occur and the voyeuristicness does not occur yields that the attenuating does not occur. sent16: the suffocation occurs. sent17: the fact that the ogling slipstick does not occur hold if not the draining but the ogling Wiccan occurs. sent18: if the ogling golfer does not occur the exiting occurs. sent19: if not the ogling Wiccan but the nonresident happens then the Rabelaisianness does not occur. sent20: if the ogling Wiccan happens then the fact that the pole does not occur is right.
void -> assump1: Let's assume that the ogling Wiccan occurs.; sent2 & assump1 -> int1: the poling does not occur and the corpuscularness happens.; int1 & sent8 -> int2: the draining does not occur.; sent3 & sent4 -> int3: the drain occurs and the exiting happens.; int3 -> int4: that the draining does not occur is not true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the ogling Wiccan does not occur hold.; void -> assump2: Let's assume that the nonresident does not occur.; int6 & assump2 -> int7: the ogling Wiccan does not occur and the nonresident does not occur.; int7 & sent9 -> int8: the Rabelaisianness does not occur.; [assump2] & int8 -> hypothesis;
the ogling slipstick does not occur.
$hypothesis$ = if the nonresidentness does not occur then the Rabelaisianness does not occur. ; $context$ = sent1: the pole does not occur. sent2: the pole does not occur but the corpuscularness happens if the ogling Wiccan occurs. sent3: that the ogling golfer does not occur triggers that the drain and the exiting happens. sent4: the ogling golfer does not occur. sent5: both the scholasticness and the deception happens. sent6: the capitularness occurs and the cakewalk happens. sent7: the funfair does not occur. sent8: the draining does not occur if the pole does not occur and the corpuscularness happens. sent9: that the ogling Wiccan does not occur and the nonresident does not occur prevents the Rabelaisianness. sent10: that the drain does not occur is brought about by that both the poling and the corpuscularness occurs. sent11: the Rabelaisianness happens if the nonresident does not occur. sent12: if the ogling Wiccan does not occur and the nonresidentness does not occur the Rabelaisianness happens. sent13: the exiting occurs. sent14: that the nonresidentness happens results in that the Rabelaisianness does not occur. sent15: that the ogling cotoneaster does not occur and the voyeuristicness does not occur yields that the attenuating does not occur. sent16: the suffocation occurs. sent17: the fact that the ogling slipstick does not occur hold if not the draining but the ogling Wiccan occurs. sent18: if the ogling golfer does not occur the exiting occurs. sent19: if not the ogling Wiccan but the nonresident happens then the Rabelaisianness does not occur. sent20: if the ogling Wiccan happens then the fact that the pole does not occur is right. ; $proof$ = 
void -> assump1: Let's assume that the ogling Wiccan occurs.; sent2 & assump1 -> int1: the poling does not occur and the corpuscularness happens.; int1 & sent8 -> int2: the draining does not occur.; sent3 & sent4 -> int3: the drain occurs and the exiting happens.; int3 -> int4: that the draining does not occur is not true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the ogling Wiccan does not occur hold.; void -> assump2: Let's assume that the nonresident does not occur.; int6 & assump2 -> int7: the ogling Wiccan does not occur and the nonresident does not occur.; int7 & sent9 -> int8: the Rabelaisianness does not occur.; [assump2] & int8 -> hypothesis; __PROVED__