if the formal happens then the poker happens.
sent1: if the fact that the orbing does not occur hold then the redeploying Interior happens. sent2: if the backhanding does not occur and the compensation happens the intralobularness occurs. sent3: the redeploying limbers and the clonalness occurs. sent4: that the retraction does not occur leads to that the stalemating does not occur or the herbivorousness does not occur or both. sent5: that the intralobularness occurs results in that the jetting Olympus does not occur and the invention does not occur. sent6: the fact that the nurse does not occur is not incorrect if the jetting Olympus does not occur and the invention does not occur. sent7: the vaunt does not occur if the proconsulship happens and the rabbinicalness happens. sent8: that the pitching occurs results in that the jawlessness occurs. sent9: that the poker happens is true if the herbivorousness does not occur. sent10: that the piscatorialness and the muscling occurs prevents the stocktaking. sent11: the fact that the off-streetness happens is true. sent12: the redeploying Lachaise happens and/or the transmission happens if the nursing does not occur. sent13: the fact that the non-geophyticness or the non-unitaryness or both occurs is not right. sent14: the thyroidectomy does not occur. sent15: if that the non-geophyticness or the non-unitaryness or both happens is not right the backhand does not occur. sent16: the Maundy happens. sent17: the boarding sago occurs. sent18: the Leibnizianness occurs if the geophyticness does not occur. sent19: the synestheticness happens. sent20: the poker does not occur if the redeploying Lachaise occurs. sent21: if the formal does not occur then the balancing and the Maundy occurs. sent22: if the fact that both the Maundy and the formal occurs is not incorrect then the retraction does not occur. sent23: that the redeploying limbers happens prevents that the compensation does not occur.
void -> assump1: Let's assume that the formal occurs.; sent16 & assump1 -> int1: the Maundy happens and the formalness happens.; sent22 & int1 -> int2: the retraction does not occur.; sent4 & int2 -> int3: the stalemate does not occur and/or the herbivorousness does not occur.;
the balancing occurs.
sent15 & sent13 -> int4: the backhandness does not occur.; sent3 -> int5: the redeploying limbers occurs.; sent23 & int5 -> int6: the compensation occurs.; int4 & int6 -> int7: the non-backhandness and the compensation occurs.; sent2 & int7 -> int8: the intralobularness happens.; sent5 & int8 -> int9: the jetting Olympus does not occur and the invention does not occur.; sent6 & int9 -> int10: the fact that the nurse does not occur is not wrong.; sent12 & int10 -> int11: the redeploying Lachaise and/or the transmission happens.;
$hypothesis$ = if the formal happens then the poker happens. ; $context$ = sent1: if the fact that the orbing does not occur hold then the redeploying Interior happens. sent2: if the backhanding does not occur and the compensation happens the intralobularness occurs. sent3: the redeploying limbers and the clonalness occurs. sent4: that the retraction does not occur leads to that the stalemating does not occur or the herbivorousness does not occur or both. sent5: that the intralobularness occurs results in that the jetting Olympus does not occur and the invention does not occur. sent6: the fact that the nurse does not occur is not incorrect if the jetting Olympus does not occur and the invention does not occur. sent7: the vaunt does not occur if the proconsulship happens and the rabbinicalness happens. sent8: that the pitching occurs results in that the jawlessness occurs. sent9: that the poker happens is true if the herbivorousness does not occur. sent10: that the piscatorialness and the muscling occurs prevents the stocktaking. sent11: the fact that the off-streetness happens is true. sent12: the redeploying Lachaise happens and/or the transmission happens if the nursing does not occur. sent13: the fact that the non-geophyticness or the non-unitaryness or both occurs is not right. sent14: the thyroidectomy does not occur. sent15: if that the non-geophyticness or the non-unitaryness or both happens is not right the backhand does not occur. sent16: the Maundy happens. sent17: the boarding sago occurs. sent18: the Leibnizianness occurs if the geophyticness does not occur. sent19: the synestheticness happens. sent20: the poker does not occur if the redeploying Lachaise occurs. sent21: if the formal does not occur then the balancing and the Maundy occurs. sent22: if the fact that both the Maundy and the formal occurs is not incorrect then the retraction does not occur. sent23: that the redeploying limbers happens prevents that the compensation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the formal occurs.; sent16 & assump1 -> int1: the Maundy happens and the formalness happens.; sent22 & int1 -> int2: the retraction does not occur.; sent4 & int2 -> int3: the stalemate does not occur and/or the herbivorousness does not occur.; __UNKNOWN__