if the criticizing atheist does not occur then the levitating does not occur.
sent1: if the jibing occurs then that the censusing does not occur and/or the bowls happens is not right. sent2: the censusing does not occur or the bowls happens or both if the orgy does not occur. sent3: the levitating occurs. sent4: the orgy does not occur. sent5: that the criticizing atheist does not occur and the jibing does not occur triggers that the levitating does not occur.
void -> assump2: Let's assume that the jibing occurs.; sent1 & assump2 -> int1: the fact that the censusing does not occur and/or the bowling occurs is incorrect.; sent2 & sent4 -> int2: either the census does not occur or the bowling occurs or both.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the jibing does not occur.; void -> assump1: Let's assume that that the criticizing atheist does not occur is not false.; int4 & assump1 -> int5: the criticizing atheist does not occur and the jibing does not occur.; int5 & sent5 -> int6: the levitating does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the criticizing atheist does not occur then the levitating does not occur. ; $context$ = sent1: if the jibing occurs then that the censusing does not occur and/or the bowls happens is not right. sent2: the censusing does not occur or the bowls happens or both if the orgy does not occur. sent3: the levitating occurs. sent4: the orgy does not occur. sent5: that the criticizing atheist does not occur and the jibing does not occur triggers that the levitating does not occur. ; $proof$ = 
void -> assump2: Let's assume that the jibing occurs.; sent1 & assump2 -> int1: the fact that the censusing does not occur and/or the bowling occurs is incorrect.; sent2 & sent4 -> int2: either the census does not occur or the bowling occurs or both.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the jibing does not occur.; void -> assump1: Let's assume that that the criticizing atheist does not occur is not false.; int4 & assump1 -> int5: the criticizing atheist does not occur and the jibing does not occur.; int5 & sent5 -> int6: the levitating does not occur.; [assump1] & int6 -> hypothesis; __PROVED__