the caravanning and the notching happens.
sent1: the sarcosomalness occurs. sent2: the regurgitating does not occur. sent3: the pleomorphicness happens. sent4: the pursing Connecticuter happens. sent5: the wonder happens. sent6: the reputableness does not occur but the monstrosity happens. sent7: the unimportantness occurs. sent8: that the chugging does not occur and the collation happens is triggered by that the saturation does not occur. sent9: the trafficking pew occurs. sent10: the curricularness does not occur if the dogmatizing Carthusian and the unimportantness occurs. sent11: that the dogmatizing Carthusian happens and the marking happens is caused by that the unimportantness does not occur. sent12: if the abscission does not occur then the trafficking Euphagus happens. sent13: if the fact that the nonindulgentness does not occur hold then the caravanning occurs. sent14: if the avail does not occur then the fact that the idolatry occurs hold. sent15: the curricularness occurs. sent16: if the nonindulgentness does not occur the fact that both the caravanning and the notch happens hold. sent17: the unsusceptibleness does not occur. sent18: that the nonindulgentness happens is prevented by the non-tympaniticness. sent19: the responsibility occurs.
void -> assump1: Let's assume that the dogmatizing Carthusian happens.; assump1 & sent7 -> int1: the dogmatizing Carthusian occurs and the unimportantness happens.; int1 & sent10 -> int2: that the curricularness does not occur is not false.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dogmatizing Carthusian does not occur.;
the marking occurs.
$hypothesis$ = the caravanning and the notching happens. ; $context$ = sent1: the sarcosomalness occurs. sent2: the regurgitating does not occur. sent3: the pleomorphicness happens. sent4: the pursing Connecticuter happens. sent5: the wonder happens. sent6: the reputableness does not occur but the monstrosity happens. sent7: the unimportantness occurs. sent8: that the chugging does not occur and the collation happens is triggered by that the saturation does not occur. sent9: the trafficking pew occurs. sent10: the curricularness does not occur if the dogmatizing Carthusian and the unimportantness occurs. sent11: that the dogmatizing Carthusian happens and the marking happens is caused by that the unimportantness does not occur. sent12: if the abscission does not occur then the trafficking Euphagus happens. sent13: if the fact that the nonindulgentness does not occur hold then the caravanning occurs. sent14: if the avail does not occur then the fact that the idolatry occurs hold. sent15: the curricularness occurs. sent16: if the nonindulgentness does not occur the fact that both the caravanning and the notch happens hold. sent17: the unsusceptibleness does not occur. sent18: that the nonindulgentness happens is prevented by the non-tympaniticness. sent19: the responsibility occurs. ; $proof$ = 
void -> assump1: Let's assume that the dogmatizing Carthusian happens.; assump1 & sent7 -> int1: the dogmatizing Carthusian occurs and the unimportantness happens.; int1 & sent10 -> int2: that the curricularness does not occur is not false.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dogmatizing Carthusian does not occur.; __UNKNOWN__