if the permitting sodalite does not occur that the emigrating happens but the squeeze does not occur does not hold.
sent1: the fact that the serialization and the reveille happens does not hold if the tearlessness does not occur. sent2: if the seminar does not occur the ambulatoriness occurs and the ectopicness does not occur. sent3: if the fact that the re-creation and the non-agrypnoticness occurs is not true the secretarialness does not occur. sent4: that the booting gerrymander does not occur triggers that the stigmatizing rupee occurs and the booting Bubo does not occur. sent5: that the stigmatizing hexestrol and the non-nonparticulateness occurs is not right. sent6: the serve and the deploying occurs if the emigrating does not occur. sent7: if the galvanization does not occur then not the emigrating but the squeezing occurs. sent8: the unnecessariness does not occur. sent9: the sit-in does not occur. sent10: that both the equine and the tearlessness happens is incorrect if that the stigmatizing bullshot does not occur hold. sent11: the fact that the captainship occurs and the corporatist occurs is wrong. sent12: if the unrespectableness does not occur then the fact that the cytophotometry happens but the hibernation does not occur is not right. sent13: the argumentativeness results in that the booting breaststroke does not occur. sent14: if the stigmatizing octet does not occur that the booting irrationality but not the aromatherapy occurs is right. sent15: the permitting farfalle does not occur. sent16: that the fact that the emigrating but not the squeezing occurs is not right hold if the deploying does not occur. sent17: the fact that that the emigrating occurs and the squeeze occurs is false if the deploying does not occur is not wrong. sent18: if the scotching occurs the fact that the booting breaststroke but not the hailstorm occurs is not right. sent19: if that the coursework and the non-Markovianness occurs is wrong then the incautiousness does not occur. sent20: if the serve happens the non-ectopicness and the permitting sodalite occurs. sent21: the fawning does not occur.
void -> assump2: Let's assume that the permitting sodalite happens but the serving does not occur.; assump2 -> int1: the permitting sodalite happens.; void -> assump1: Let's assume that the permitting sodalite does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the permitting sodalite occurs and the serve does not occur is incorrect.;
the ectopicness does not occur.
$hypothesis$ = if the permitting sodalite does not occur that the emigrating happens but the squeeze does not occur does not hold. ; $context$ = sent1: the fact that the serialization and the reveille happens does not hold if the tearlessness does not occur. sent2: if the seminar does not occur the ambulatoriness occurs and the ectopicness does not occur. sent3: if the fact that the re-creation and the non-agrypnoticness occurs is not true the secretarialness does not occur. sent4: that the booting gerrymander does not occur triggers that the stigmatizing rupee occurs and the booting Bubo does not occur. sent5: that the stigmatizing hexestrol and the non-nonparticulateness occurs is not right. sent6: the serve and the deploying occurs if the emigrating does not occur. sent7: if the galvanization does not occur then not the emigrating but the squeezing occurs. sent8: the unnecessariness does not occur. sent9: the sit-in does not occur. sent10: that both the equine and the tearlessness happens is incorrect if that the stigmatizing bullshot does not occur hold. sent11: the fact that the captainship occurs and the corporatist occurs is wrong. sent12: if the unrespectableness does not occur then the fact that the cytophotometry happens but the hibernation does not occur is not right. sent13: the argumentativeness results in that the booting breaststroke does not occur. sent14: if the stigmatizing octet does not occur that the booting irrationality but not the aromatherapy occurs is right. sent15: the permitting farfalle does not occur. sent16: that the fact that the emigrating but not the squeezing occurs is not right hold if the deploying does not occur. sent17: the fact that that the emigrating occurs and the squeeze occurs is false if the deploying does not occur is not wrong. sent18: if the scotching occurs the fact that the booting breaststroke but not the hailstorm occurs is not right. sent19: if that the coursework and the non-Markovianness occurs is wrong then the incautiousness does not occur. sent20: if the serve happens the non-ectopicness and the permitting sodalite occurs. sent21: the fawning does not occur. ; $proof$ = 
void -> assump2: Let's assume that the permitting sodalite happens but the serving does not occur.; assump2 -> int1: the permitting sodalite happens.; void -> assump1: Let's assume that the permitting sodalite does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the permitting sodalite occurs and the serve does not occur is incorrect.; __UNKNOWN__