if the hyperextension occurs then the panicking suzerain happens.
sent1: the birr occurs. sent2: the flexure is prevented by that the anguishing occurs and/or the discipleship does not occur. sent3: the unfairness does not occur if the unstrapping tot does not occur. sent4: the platyrrhine happens. sent5: the panicking rue occurs. sent6: that the hyperextension and the panicking suzerain occurs causes that the panicking rue does not occur. sent7: the custom occurs. sent8: the diversification or the panicking exhausted or both happens. sent9: that the hyperextension occurs is prevented by that the panicking rue occurs and/or that the panicking suzerain does not occur. sent10: if that the jacking lithomancy does not occur is not incorrect then the hyperextension happens and the panicking suzerain occurs. sent11: the arc occurs. sent12: that the jacking lithomancy does not occur is not wrong if the fact that the bandage and the payment happens does not hold. sent13: either the nip happens or the bioelectricity happens or both. sent14: the biopiracy happens. sent15: if the lookout occurs then the robbery happens. sent16: that not the internationalization but the flexure happens is caused by that the unfairness does not occur. sent17: the nonconformistness is prevented by that the panicking rue does not occur. sent18: that the bandaging and the payment happens is false if the internationalization does not occur. sent19: the fact that the unstrapping tot does not occur is correct if that the unstrapping tot but not the mistrial occurs is false. sent20: if the rerunning Gallus occurs that the unstrapping tot happens and the mistrial does not occur does not hold.
void -> assump1: Let's assume that the panicking suzerain does not occur.; assump1 -> int1: the panicking rue happens or the panicking suzerain does not occur or both.; int1 & sent9 -> int2: the fact that the hyperextension does not occur is correct.; void -> assump2: Let's assume that the hyperextension occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the panicking suzerain occurs.; [assump2] & int4 -> hypothesis;
the conformistness happens.
$hypothesis$ = if the hyperextension occurs then the panicking suzerain happens. ; $context$ = sent1: the birr occurs. sent2: the flexure is prevented by that the anguishing occurs and/or the discipleship does not occur. sent3: the unfairness does not occur if the unstrapping tot does not occur. sent4: the platyrrhine happens. sent5: the panicking rue occurs. sent6: that the hyperextension and the panicking suzerain occurs causes that the panicking rue does not occur. sent7: the custom occurs. sent8: the diversification or the panicking exhausted or both happens. sent9: that the hyperextension occurs is prevented by that the panicking rue occurs and/or that the panicking suzerain does not occur. sent10: if that the jacking lithomancy does not occur is not incorrect then the hyperextension happens and the panicking suzerain occurs. sent11: the arc occurs. sent12: that the jacking lithomancy does not occur is not wrong if the fact that the bandage and the payment happens does not hold. sent13: either the nip happens or the bioelectricity happens or both. sent14: the biopiracy happens. sent15: if the lookout occurs then the robbery happens. sent16: that not the internationalization but the flexure happens is caused by that the unfairness does not occur. sent17: the nonconformistness is prevented by that the panicking rue does not occur. sent18: that the bandaging and the payment happens is false if the internationalization does not occur. sent19: the fact that the unstrapping tot does not occur is correct if that the unstrapping tot but not the mistrial occurs is false. sent20: if the rerunning Gallus occurs that the unstrapping tot happens and the mistrial does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the panicking suzerain does not occur.; assump1 -> int1: the panicking rue happens or the panicking suzerain does not occur or both.; int1 & sent9 -> int2: the fact that the hyperextension does not occur is correct.; void -> assump2: Let's assume that the hyperextension occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the panicking suzerain occurs.; [assump2] & int4 -> hypothesis; __PROVED__