if the sterilization does not occur then the raree-show happens and the hijack happens.
sent1: the postictalness occurs. sent2: the walking spotlessness occurs. sent3: the postictalness happens if that the libidinalness does not occur is true. sent4: the Requiem does not occur. sent5: that the unsexiness happens and the clutching happens hold. sent6: if the unequivocalness does not occur then the radicalizing occurs. sent7: the hijacking is caused by that the unplayfulness occurs. sent8: that the dissidence does not occur brings about that the epileptic happens and the walking prude occurs. sent9: the repayment does not occur. sent10: that both the squelch and the defaulting occurs is brought about by that the boning Eiffel does not occur. sent11: the libidinalness does not occur. sent12: the chucking and the concession occurs. sent13: if the sterilization occurs the raree-show occurs and the hijacking occurs. sent14: that the surmountableness does not occur is prevented by that the boning Hebraist does not occur. sent15: both the knock and the walking redfish happens if the concession does not occur. sent16: the oligarchicness happens. sent17: the onymousness happens if the check-in does not occur. sent18: the sterilization is triggered by the non-unplayfulness. sent19: that the postictalness occurs and the raree-show happens is triggered by the non-libidinalness. sent20: the cachinnating does not occur.
void -> assump1: Let's assume that the unplayfulness does not occur.; sent18 & assump1 -> int1: the sterilization occurs.; void -> assump2: Let's assume that the sterilization does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the unplayfulness occurs is true.; int3 & sent7 -> int4: the hijacking happens.; sent19 & sent11 -> int5: both the postictalness and the raree-show occurs.; int5 -> int6: the raree-show happens.; int4 & int6 -> int7: the raree-show and the hijack occurs.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the sterilization does not occur then the raree-show happens and the hijack happens. ; $context$ = sent1: the postictalness occurs. sent2: the walking spotlessness occurs. sent3: the postictalness happens if that the libidinalness does not occur is true. sent4: the Requiem does not occur. sent5: that the unsexiness happens and the clutching happens hold. sent6: if the unequivocalness does not occur then the radicalizing occurs. sent7: the hijacking is caused by that the unplayfulness occurs. sent8: that the dissidence does not occur brings about that the epileptic happens and the walking prude occurs. sent9: the repayment does not occur. sent10: that both the squelch and the defaulting occurs is brought about by that the boning Eiffel does not occur. sent11: the libidinalness does not occur. sent12: the chucking and the concession occurs. sent13: if the sterilization occurs the raree-show occurs and the hijacking occurs. sent14: that the surmountableness does not occur is prevented by that the boning Hebraist does not occur. sent15: both the knock and the walking redfish happens if the concession does not occur. sent16: the oligarchicness happens. sent17: the onymousness happens if the check-in does not occur. sent18: the sterilization is triggered by the non-unplayfulness. sent19: that the postictalness occurs and the raree-show happens is triggered by the non-libidinalness. sent20: the cachinnating does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unplayfulness does not occur.; sent18 & assump1 -> int1: the sterilization occurs.; void -> assump2: Let's assume that the sterilization does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the unplayfulness occurs is true.; int3 & sent7 -> int4: the hijacking happens.; sent19 & sent11 -> int5: both the postictalness and the raree-show occurs.; int5 -> int6: the raree-show happens.; int4 & int6 -> int7: the raree-show and the hijack occurs.; [assump2] & int7 -> hypothesis; __PROVED__