the gazumping does not occur and the noncrucialness does not occur if the legislation occurs.
sent1: the deaminating punchball does not occur if that the rowing does not occur and the Jamesianness does not occur is incorrect. sent2: the dosimetry occurs. sent3: the remise does not occur and the initiative does not occur. sent4: the stativeness does not occur. sent5: that the owning primary does not occur and the unintelligentness does not occur does not hold. sent6: if that the ferricness does not occur and the inroad does not occur is not true the junketing does not occur. sent7: the noncrucialness does not occur if that the legislation does not occur and the dosimetry does not occur is incorrect. sent8: the span does not occur and the deaminating spittlebug does not occur. sent9: the cretaceousness does not occur. sent10: that the springtide does not occur and the owning collards does not occur is not correct. sent11: the inorganicness does not occur and the deaminating taskmistress does not occur. sent12: that the legislation does not occur and the dosimetry does not occur prevents that the noncrucialness occurs. sent13: the chess happens. sent14: that the marching does not occur is correct if that the piraticalness does not occur and the enfranchisement does not occur is not true. sent15: the existentialness does not occur and the planking does not occur. sent16: the dereliction does not occur. sent17: the fact that the legislation occurs but the dosimetry does not occur is incorrect. sent18: that the legislation does not occur but the dosimetry occurs does not hold. sent19: that the perceptualness does not occur and the span does not occur is wrong. sent20: the topping does not occur. sent21: the IPO does not occur and the Concord does not occur.
void -> assump2: Let's assume that the legislation does not occur and the dosimetry does not occur.; assump2 -> int1: the legislation does not occur.; void -> assump1: Let's assume that the legislation occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the legislation does not occur and the dosimetry does not occur is wrong.; int3 & sent7 -> int4: the noncrucialness does not occur.;
$hypothesis$ = the gazumping does not occur and the noncrucialness does not occur if the legislation occurs. ; $context$ = sent1: the deaminating punchball does not occur if that the rowing does not occur and the Jamesianness does not occur is incorrect. sent2: the dosimetry occurs. sent3: the remise does not occur and the initiative does not occur. sent4: the stativeness does not occur. sent5: that the owning primary does not occur and the unintelligentness does not occur does not hold. sent6: if that the ferricness does not occur and the inroad does not occur is not true the junketing does not occur. sent7: the noncrucialness does not occur if that the legislation does not occur and the dosimetry does not occur is incorrect. sent8: the span does not occur and the deaminating spittlebug does not occur. sent9: the cretaceousness does not occur. sent10: that the springtide does not occur and the owning collards does not occur is not correct. sent11: the inorganicness does not occur and the deaminating taskmistress does not occur. sent12: that the legislation does not occur and the dosimetry does not occur prevents that the noncrucialness occurs. sent13: the chess happens. sent14: that the marching does not occur is correct if that the piraticalness does not occur and the enfranchisement does not occur is not true. sent15: the existentialness does not occur and the planking does not occur. sent16: the dereliction does not occur. sent17: the fact that the legislation occurs but the dosimetry does not occur is incorrect. sent18: that the legislation does not occur but the dosimetry occurs does not hold. sent19: that the perceptualness does not occur and the span does not occur is wrong. sent20: the topping does not occur. sent21: the IPO does not occur and the Concord does not occur. ; $proof$ = 
void -> assump2: Let's assume that the legislation does not occur and the dosimetry does not occur.; assump2 -> int1: the legislation does not occur.; void -> assump1: Let's assume that the legislation occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the legislation does not occur and the dosimetry does not occur is wrong.; int3 & sent7 -> int4: the noncrucialness does not occur.; __UNKNOWN__