if the monopolizing diseased does not occur then that the clamoring Dimorphotheca and the ordering occurs is not true.
sent1: the alikeness happens. sent2: that the stem does not occur is triggered by that the ergoticness happens and the batting happens. sent3: the lexicostatisticsness occurs if that the GHRF does not occur is correct. sent4: the arundinaceousness does not occur. sent5: the reclining happens. sent6: that the clamoring mademoiselle does not occur triggers that the referendum and the marketing happens. sent7: the strangeness does not occur. sent8: if the non-lunisolarness and the non-ceramicsness occurs the nonevent does not occur. sent9: the GHRF does not occur if the arundinaceousness does not occur. sent10: that the clamoring disrespect does not occur and the fraying does not occur results in that the ergoticness does not occur. sent11: both the clamoring Dimorphotheca and the ordering occurs. sent12: that the character does not occur hold if the referendum and the articulateness happens. sent13: if the tribulating twenty-nine does not occur then the impetiginousness happens. sent14: if the monopolizing diseased does not occur the clamoring Dimorphotheca and the ordering occurs. sent15: that the clamoring Dimorphotheca and the order happens does not hold if the transacting does not occur. sent16: if the transacting does not occur then both the clamoring Dimorphotheca and the order occurs. sent17: that the smoothness does not occur and the tribulating Arcadic does not occur brings about that the stem does not occur. sent18: the referendum and the clamoring mademoiselle occurs. sent19: that the clamoring mademoiselle occurs hold. sent20: the lexicostatisticsness occurs. sent21: that the fact that the reconcilableness happens and the delusion happens does not hold is true if the clamoring symphysis does not occur. sent22: the monopolizing Steiner occurs and the fundamental occurs. sent23: the monopolizing diseased happens and the transacting occurs if the clamoring Dimorphotheca does not occur. sent24: the taxableness is prevented by that the gangrene does not occur and the nonacceptance happens. sent25: if the clamoring Cicer does not occur and the whistling does not occur then the gangrene does not occur. sent26: if the GHRF does not occur then the fact that the character occurs and the lexicostatisticsness happens is right.
sent18 -> int1: that the referendum happens hold.; void -> assump2: Let's assume that the articulateness happens.; int1 & assump2 -> int2: the referendum and the articulateness happens.; int2 & sent12 -> int3: the character does not occur.; sent9 & sent4 -> int4: the GHRF does not occur.; sent26 & int4 -> int5: both the charactering and the lexicostatisticsness occurs.; int5 -> int6: the character happens.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the articulating does not occur.; void -> assump1: Let's assume that the monopolizing diseased does not occur.; int8 & assump1 -> int9: the articulateness does not occur and the monopolizing diseased does not occur.;
the market happens.
$hypothesis$ = if the monopolizing diseased does not occur then that the clamoring Dimorphotheca and the ordering occurs is not true. ; $context$ = sent1: the alikeness happens. sent2: that the stem does not occur is triggered by that the ergoticness happens and the batting happens. sent3: the lexicostatisticsness occurs if that the GHRF does not occur is correct. sent4: the arundinaceousness does not occur. sent5: the reclining happens. sent6: that the clamoring mademoiselle does not occur triggers that the referendum and the marketing happens. sent7: the strangeness does not occur. sent8: if the non-lunisolarness and the non-ceramicsness occurs the nonevent does not occur. sent9: the GHRF does not occur if the arundinaceousness does not occur. sent10: that the clamoring disrespect does not occur and the fraying does not occur results in that the ergoticness does not occur. sent11: both the clamoring Dimorphotheca and the ordering occurs. sent12: that the character does not occur hold if the referendum and the articulateness happens. sent13: if the tribulating twenty-nine does not occur then the impetiginousness happens. sent14: if the monopolizing diseased does not occur the clamoring Dimorphotheca and the ordering occurs. sent15: that the clamoring Dimorphotheca and the order happens does not hold if the transacting does not occur. sent16: if the transacting does not occur then both the clamoring Dimorphotheca and the order occurs. sent17: that the smoothness does not occur and the tribulating Arcadic does not occur brings about that the stem does not occur. sent18: the referendum and the clamoring mademoiselle occurs. sent19: that the clamoring mademoiselle occurs hold. sent20: the lexicostatisticsness occurs. sent21: that the fact that the reconcilableness happens and the delusion happens does not hold is true if the clamoring symphysis does not occur. sent22: the monopolizing Steiner occurs and the fundamental occurs. sent23: the monopolizing diseased happens and the transacting occurs if the clamoring Dimorphotheca does not occur. sent24: the taxableness is prevented by that the gangrene does not occur and the nonacceptance happens. sent25: if the clamoring Cicer does not occur and the whistling does not occur then the gangrene does not occur. sent26: if the GHRF does not occur then the fact that the character occurs and the lexicostatisticsness happens is right. ; $proof$ = 
sent18 -> int1: that the referendum happens hold.; void -> assump2: Let's assume that the articulateness happens.; int1 & assump2 -> int2: the referendum and the articulateness happens.; int2 & sent12 -> int3: the character does not occur.; sent9 & sent4 -> int4: the GHRF does not occur.; sent26 & int4 -> int5: both the charactering and the lexicostatisticsness occurs.; int5 -> int6: the character happens.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the articulating does not occur.; void -> assump1: Let's assume that the monopolizing diseased does not occur.; int8 & assump1 -> int9: the articulateness does not occur and the monopolizing diseased does not occur.; __UNKNOWN__