the tessellation occurs or the bunking does not occur or both if the surprising cheerfulness happens.
sent1: that the irregularity happens but the thermal does not occur results in that the superjacentness occurs. sent2: either the unguiculate occurs or the downmarketness does not occur or both. sent3: the guesstimating happens if the strengthening occurs and the bob does not occur. sent4: the reallotment does not occur if the fact that the lagging Helicidae happens but the dipterousness does not occur is wrong. sent5: either the tessellation or the bunk or both is caused by that the surprising cheerfulness occurs. sent6: that if that the blotting occurs but the teeter-tottering does not occur is not correct then the surprising cheerfulness occurs is correct. sent7: the fact that the determinateness and the non-herbivorousness happens does not hold. sent8: if the blot does not occur then the surprising cheerfulness does not occur. sent9: the fact that the blizzard happens but the Oktoberfest does not occur is not correct if the tessellation does not occur. sent10: the twiddling occurs. sent11: the blaspheming dip but not the heaping happens. sent12: that the nip but not the lagging Berkshire occurs causes that the stroke occurs. sent13: the tessellation happens and/or the bunking occurs. sent14: if that the blot but not the teeter-tottering occurs does not hold the surprising cheerfulness does not occur. sent15: that both the surprising cheerfulness and the bunk occurs prevents that the tessellation happens. sent16: the blot happens. sent17: that the abstractness does not occur brings about that the surprising cheerfulness and the bunk occurs. sent18: the Unionness happens.
void -> assump1: Let's assume that the surprising cheerfulness occurs.; void -> assump2: Let's assume that that the blotting happens but the teeter-tottering does not occur is wrong.; sent14 & assump2 -> int1: the surprising cheerfulness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the blotting occurs but the teeter-tottering does not occur.;
the fact that the blizzard occurs but the Oktoberfest does not occur is not correct.
$hypothesis$ = the tessellation occurs or the bunking does not occur or both if the surprising cheerfulness happens. ; $context$ = sent1: that the irregularity happens but the thermal does not occur results in that the superjacentness occurs. sent2: either the unguiculate occurs or the downmarketness does not occur or both. sent3: the guesstimating happens if the strengthening occurs and the bob does not occur. sent4: the reallotment does not occur if the fact that the lagging Helicidae happens but the dipterousness does not occur is wrong. sent5: either the tessellation or the bunk or both is caused by that the surprising cheerfulness occurs. sent6: that if that the blotting occurs but the teeter-tottering does not occur is not correct then the surprising cheerfulness occurs is correct. sent7: the fact that the determinateness and the non-herbivorousness happens does not hold. sent8: if the blot does not occur then the surprising cheerfulness does not occur. sent9: the fact that the blizzard happens but the Oktoberfest does not occur is not correct if the tessellation does not occur. sent10: the twiddling occurs. sent11: the blaspheming dip but not the heaping happens. sent12: that the nip but not the lagging Berkshire occurs causes that the stroke occurs. sent13: the tessellation happens and/or the bunking occurs. sent14: if that the blot but not the teeter-tottering occurs does not hold the surprising cheerfulness does not occur. sent15: that both the surprising cheerfulness and the bunk occurs prevents that the tessellation happens. sent16: the blot happens. sent17: that the abstractness does not occur brings about that the surprising cheerfulness and the bunk occurs. sent18: the Unionness happens. ; $proof$ = 
void -> assump1: Let's assume that the surprising cheerfulness occurs.; void -> assump2: Let's assume that that the blotting happens but the teeter-tottering does not occur is wrong.; sent14 & assump2 -> int1: the surprising cheerfulness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the blotting occurs but the teeter-tottering does not occur.; __UNKNOWN__