both the excess and the cementitiousness occurs.
sent1: if that both the non-bismuthicness and the non-positionalness happens is not true the lovableness does not occur. sent2: the promising does not occur. sent3: the erasing pushup does not occur if that the erasing Tibicen does not occur and the underageness does not occur does not hold. sent4: the variolation happens if that not the edging quartet but the heterosexism occurs is not correct. sent5: if the erasing pushup does not occur then the bronchospasm occurs and the positionalness happens. sent6: that the ulnarness occurs is prevented by that the disclosure and the strings happens. sent7: the fact that the fact that the excess and the doctor occurs is not correct hold if the cementitiousness does not occur. sent8: the excess is triggered by that the variolation occurs but the doctor does not occur. sent9: that the instillation occurs and the avoidance does not occur is not right if the promising does not occur. sent10: that not the edging quartet but the heterosexism occurs causes that the disclosure happens. sent11: if the erasing pushup occurs that both the non-bismuthicness and the non-positionalness occurs does not hold. sent12: the cementitiousness does not occur if both the bronchospasm and the non-lovableness happens. sent13: that the flouring does not occur is brought about by that the avoidance happens. sent14: not the lovableness but the bismuthicness occurs if the presence happens. sent15: the stringing happens. sent16: the fact that the doctoring does not occur is true. sent17: if the erasing parcel happens the presence occurs. sent18: if that the instillation happens and the avoidance does not occur does not hold then the avoidance happens. sent19: that the heterosexism does not occur prevents that the variolation does not occur. sent20: if the stringing does not occur then that the excess and the cementitiousness occurs is not true. sent21: that the plagiarism and the whack occurs hold. sent22: if that the flouring does not occur hold then the erasing parcel occurs and the calendricness happens. sent23: if the disclosure does not occur then the stringing occurs and the inconvenientness does not occur. sent24: the underageness does not occur if the presence and the erasing parcel occurs. sent25: the ulnarness happens. sent26: if the lovableness does not occur the fact that the bronchospasm happens and the doctor occurs is not true.
void -> assump1: Let's assume that not the edging quartet but the heterosexism occurs.; sent10 & assump1 -> int1: the disclosure happens.; int1 & sent15 -> int2: the disclosure and the stringing occurs.; int2 & sent6 -> int3: the ulnarness does not occur.; int3 & sent25 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the edging quartet does not occur but the heterosexism occurs does not hold.; int5 & sent4 -> int6: the variolation happens.; int6 & sent16 -> int7: the variolation occurs and the doctoring does not occur.; int7 & sent8 -> int8: the excess occurs.;
that the excess and the cementitiousness happens is not true.
$hypothesis$ = both the excess and the cementitiousness occurs. ; $context$ = sent1: if that both the non-bismuthicness and the non-positionalness happens is not true the lovableness does not occur. sent2: the promising does not occur. sent3: the erasing pushup does not occur if that the erasing Tibicen does not occur and the underageness does not occur does not hold. sent4: the variolation happens if that not the edging quartet but the heterosexism occurs is not correct. sent5: if the erasing pushup does not occur then the bronchospasm occurs and the positionalness happens. sent6: that the ulnarness occurs is prevented by that the disclosure and the strings happens. sent7: the fact that the fact that the excess and the doctor occurs is not correct hold if the cementitiousness does not occur. sent8: the excess is triggered by that the variolation occurs but the doctor does not occur. sent9: that the instillation occurs and the avoidance does not occur is not right if the promising does not occur. sent10: that not the edging quartet but the heterosexism occurs causes that the disclosure happens. sent11: if the erasing pushup occurs that both the non-bismuthicness and the non-positionalness occurs does not hold. sent12: the cementitiousness does not occur if both the bronchospasm and the non-lovableness happens. sent13: that the flouring does not occur is brought about by that the avoidance happens. sent14: not the lovableness but the bismuthicness occurs if the presence happens. sent15: the stringing happens. sent16: the fact that the doctoring does not occur is true. sent17: if the erasing parcel happens the presence occurs. sent18: if that the instillation happens and the avoidance does not occur does not hold then the avoidance happens. sent19: that the heterosexism does not occur prevents that the variolation does not occur. sent20: if the stringing does not occur then that the excess and the cementitiousness occurs is not true. sent21: that the plagiarism and the whack occurs hold. sent22: if that the flouring does not occur hold then the erasing parcel occurs and the calendricness happens. sent23: if the disclosure does not occur then the stringing occurs and the inconvenientness does not occur. sent24: the underageness does not occur if the presence and the erasing parcel occurs. sent25: the ulnarness happens. sent26: if the lovableness does not occur the fact that the bronchospasm happens and the doctor occurs is not true. ; $proof$ = 
void -> assump1: Let's assume that not the edging quartet but the heterosexism occurs.; sent10 & assump1 -> int1: the disclosure happens.; int1 & sent15 -> int2: the disclosure and the stringing occurs.; int2 & sent6 -> int3: the ulnarness does not occur.; int3 & sent25 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the edging quartet does not occur but the heterosexism occurs does not hold.; int5 & sent4 -> int6: the variolation happens.; int6 & sent16 -> int7: the variolation occurs and the doctoring does not occur.; int7 & sent8 -> int8: the excess occurs.; __UNKNOWN__