if the pleating inactivity does not occur then both the blocking copying and the ruling happens.
sent1: if the brazenness occurs the long-chainness occurs. sent2: the irresistibleness does not occur and the pleating zoomorphism does not occur if the isotonicness happens. sent3: that both the non-Jamesianness and the overtness happens if the surfacing does not occur is right. sent4: the surfacingness is prevented by that the long-chainness occurs. sent5: the lustrum occurs. sent6: that both the ruling and the biblioticness happens is triggered by that the intimating does not occur. sent7: the fact that that the rule does not occur and the blocking copying does not occur is right does not hold if the fact that the intimating occurs is right. sent8: the plotting does not occur and the readmission occurs if the swash occurs. sent9: the intimating occurs if the overtness occurs. sent10: either the brazening or the raking sip or both occurs if the plot does not occur. sent11: the variolarness does not occur if the fact that the rule does not occur and the blocking copying does not occur is wrong. sent12: if the fact that the panhysterectomy but not the nudging occurs does not hold the swashing occurs. sent13: the isotonicness happens if the snow does not occur. sent14: the colliding occurs and the biblioticness occurs if the irresistibleness does not occur. sent15: the fact that the panhysterectomy occurs but the nudge does not occur is not correct if the lustrum occurs. sent16: the overtness does not occur and the intimating does not occur.
void -> assump1: Let's assume that the blocking copying does not occur.; void -> assump2: Let's assume that the pleating inactivity does not occur.; sent16 -> int1: the intimating does not occur.; sent6 & int1 -> int2: the rule and the biblioticness occurs.; int2 -> int3: the rule occurs.;
the variolarness does not occur and the colliding occurs.
sent15 & sent5 -> int4: the fact that the panhysterectomy but not the nudging happens is false.; sent12 & int4 -> int5: the swash happens.; sent8 & int5 -> int6: not the plot but the readmission happens.; int6 -> int7: the plotting does not occur.; sent10 & int7 -> int8: either the brazenness occurs or the raking sip happens or both.;
$hypothesis$ = if the pleating inactivity does not occur then both the blocking copying and the ruling happens. ; $context$ = sent1: if the brazenness occurs the long-chainness occurs. sent2: the irresistibleness does not occur and the pleating zoomorphism does not occur if the isotonicness happens. sent3: that both the non-Jamesianness and the overtness happens if the surfacing does not occur is right. sent4: the surfacingness is prevented by that the long-chainness occurs. sent5: the lustrum occurs. sent6: that both the ruling and the biblioticness happens is triggered by that the intimating does not occur. sent7: the fact that that the rule does not occur and the blocking copying does not occur is right does not hold if the fact that the intimating occurs is right. sent8: the plotting does not occur and the readmission occurs if the swash occurs. sent9: the intimating occurs if the overtness occurs. sent10: either the brazening or the raking sip or both occurs if the plot does not occur. sent11: the variolarness does not occur if the fact that the rule does not occur and the blocking copying does not occur is wrong. sent12: if the fact that the panhysterectomy but not the nudging occurs does not hold the swashing occurs. sent13: the isotonicness happens if the snow does not occur. sent14: the colliding occurs and the biblioticness occurs if the irresistibleness does not occur. sent15: the fact that the panhysterectomy occurs but the nudge does not occur is not correct if the lustrum occurs. sent16: the overtness does not occur and the intimating does not occur. ; $proof$ = 
void -> assump1: Let's assume that the blocking copying does not occur.; void -> assump2: Let's assume that the pleating inactivity does not occur.; sent16 -> int1: the intimating does not occur.; sent6 & int1 -> int2: the rule and the biblioticness occurs.; int2 -> int3: the rule occurs.; __UNKNOWN__