the modification occurs and the shipping does not occur.
sent1: if the clang does not occur then the continentalness does not occur and/or the vicennialness happens. sent2: that the noncellularness but not the behavior happens triggers that the revising belch does not occur. sent3: if the expiratoriness does not occur that both the easing and the clanging occurs is incorrect. sent4: that the consubstantialness happens and/or that the unclothing does not occur is triggered by the vicennialness. sent5: the sequestering but not the acquisition happens if the irrigation happens. sent6: the effort occurs if the fact that not the peek but the hooking occurs does not hold. sent7: the noncellularness brings about that the shipping does not occur and the behavior occurs. sent8: that the overreaching occurs and the revising belch does not occur prevents that the Labor happens. sent9: the expiratoriness does not occur. sent10: the effort does not occur and the Labor does not occur if the shipping occurs. sent11: if that the easing occurs and the clang occurs is incorrect then the clang does not occur. sent12: that the sequestering but not the acquisition happens prevents that the acquainting airframe does not occur. sent13: if the continentalness does not occur and/or the vicennialness happens then the vicennialness happens. sent14: the acuminating does not occur if the consubstantialness occurs. sent15: if the modification does not occur then that not the peek but the hooking happens is not right. sent16: the noncellularness occurs. sent17: the overreaching but not the revising belch happens. sent18: the overreaching occurs. sent19: the irrigation happens and the revising delight occurs if the acuminating does not occur. sent20: the noncellularness happens and the behavior does not occur if the acquainting airframe happens.
void -> assump1: Let's assume that the modification does not occur.; sent15 & assump1 -> int1: that not the peek but the hooking occurs is not true.; int1 & sent6 -> int2: the effort occurs.; sent8 & sent17 -> int3: the Labor does not occur.; sent7 & sent16 -> int4: not the shipping but the behavior happens.; int4 -> int5: the fact that the shipping does not occur is correct.;
the patrolling bullshot does not occur.
sent3 & sent9 -> int6: that both the easing and the clanging happens does not hold.; sent11 & int6 -> int7: the clanging does not occur.; sent1 & int7 -> int8: the continentalness does not occur and/or the vicennialness occurs.; sent13 & int8 -> int9: the vicennialness occurs.; sent4 & int9 -> int10: the consubstantialness occurs and/or the unclothing does not occur.;
$hypothesis$ = the modification occurs and the shipping does not occur. ; $context$ = sent1: if the clang does not occur then the continentalness does not occur and/or the vicennialness happens. sent2: that the noncellularness but not the behavior happens triggers that the revising belch does not occur. sent3: if the expiratoriness does not occur that both the easing and the clanging occurs is incorrect. sent4: that the consubstantialness happens and/or that the unclothing does not occur is triggered by the vicennialness. sent5: the sequestering but not the acquisition happens if the irrigation happens. sent6: the effort occurs if the fact that not the peek but the hooking occurs does not hold. sent7: the noncellularness brings about that the shipping does not occur and the behavior occurs. sent8: that the overreaching occurs and the revising belch does not occur prevents that the Labor happens. sent9: the expiratoriness does not occur. sent10: the effort does not occur and the Labor does not occur if the shipping occurs. sent11: if that the easing occurs and the clang occurs is incorrect then the clang does not occur. sent12: that the sequestering but not the acquisition happens prevents that the acquainting airframe does not occur. sent13: if the continentalness does not occur and/or the vicennialness happens then the vicennialness happens. sent14: the acuminating does not occur if the consubstantialness occurs. sent15: if the modification does not occur then that not the peek but the hooking happens is not right. sent16: the noncellularness occurs. sent17: the overreaching but not the revising belch happens. sent18: the overreaching occurs. sent19: the irrigation happens and the revising delight occurs if the acuminating does not occur. sent20: the noncellularness happens and the behavior does not occur if the acquainting airframe happens. ; $proof$ = 
void -> assump1: Let's assume that the modification does not occur.; sent15 & assump1 -> int1: that not the peek but the hooking occurs is not true.; int1 & sent6 -> int2: the effort occurs.; sent8 & sent17 -> int3: the Labor does not occur.; sent7 & sent16 -> int4: not the shipping but the behavior happens.; int4 -> int5: the fact that the shipping does not occur is correct.; __UNKNOWN__