the fact that the non-comparativeness and the non-falseness occurs does not hold.
sent1: if the devolution does not occur that either the maintaining unexpectedness occurs or the uplandness does not occur or both is false. sent2: the denigration happens. sent3: the diabaticness does not occur. sent4: the maintaining unexpectedness does not occur if the devolution does not occur. sent5: that the comparative and the non-falseness happens is not true. sent6: if the denigration does not occur that the tightening aerogram does not occur and the nondisposableness does not occur is not true. sent7: that the denigration occurs hold if the swimming does not occur. sent8: if the fact that either the maintaining unexpectedness or the non-uplandness or both happens does not hold then the tightening aerogram does not occur. sent9: that both the non-comparativeness and the non-falseness happens prevents that the devolution occurs. sent10: the comparativeness does not occur. sent11: the tightening aerogram occurs if the nondisposableness occurs. sent12: that the nondisposableness occurs and the denigration occurs is brought about by that the swimming does not occur. sent13: that the falseness does not occur is brought about by that the maintaining unexpectedness happens. sent14: the aeration does not occur. sent15: the denigration does not occur and the swimming occurs if the camouflaging marseille happens. sent16: the maintaining unexpectedness does not occur.
void -> assump1: Let's assume that both the non-comparativeness and the non-falseness occurs.; sent9 & assump1 -> int1: the devolution does not occur.; int1 & sent1 -> int2: the fact that the maintaining unexpectedness occurs and/or the uplandness does not occur is not correct.; int2 & sent8 -> int3: the tightening aerogram does not occur.;
the non-comparativeness and the non-falseness occurs.
$hypothesis$ = the fact that the non-comparativeness and the non-falseness occurs does not hold. ; $context$ = sent1: if the devolution does not occur that either the maintaining unexpectedness occurs or the uplandness does not occur or both is false. sent2: the denigration happens. sent3: the diabaticness does not occur. sent4: the maintaining unexpectedness does not occur if the devolution does not occur. sent5: that the comparative and the non-falseness happens is not true. sent6: if the denigration does not occur that the tightening aerogram does not occur and the nondisposableness does not occur is not true. sent7: that the denigration occurs hold if the swimming does not occur. sent8: if the fact that either the maintaining unexpectedness or the non-uplandness or both happens does not hold then the tightening aerogram does not occur. sent9: that both the non-comparativeness and the non-falseness happens prevents that the devolution occurs. sent10: the comparativeness does not occur. sent11: the tightening aerogram occurs if the nondisposableness occurs. sent12: that the nondisposableness occurs and the denigration occurs is brought about by that the swimming does not occur. sent13: that the falseness does not occur is brought about by that the maintaining unexpectedness happens. sent14: the aeration does not occur. sent15: the denigration does not occur and the swimming occurs if the camouflaging marseille happens. sent16: the maintaining unexpectedness does not occur. ; $proof$ = 
void -> assump1: Let's assume that both the non-comparativeness and the non-falseness occurs.; sent9 & assump1 -> int1: the devolution does not occur.; int1 & sent1 -> int2: the fact that the maintaining unexpectedness occurs and/or the uplandness does not occur is not correct.; int2 & sent8 -> int3: the tightening aerogram does not occur.; __UNKNOWN__