the eldership occurs.
sent1: the fact that both the eldership and the prelim occurs is not correct if the coitalness does not occur. sent2: the eldership does not occur if the fact that the coitalness but not the prelim happens is not false. sent3: the Russian is prevented by that the prelim but not the eldership occurs. sent4: the diminishing billyo occurs and the commissioning occurs. sent5: if the coloring occurs then the coitalness happens and the prelim does not occur. sent6: the coitalness does not occur if the fact that both the coloringness and the non-argentousness occurs hold. sent7: the coitalness occurs. sent8: that the coloringness and the non-argentousness happens is caused by the diminishing caraway. sent9: the brooching craniology happens and the blockading happens. sent10: if the eldership does not occur the prelim does not occur. sent11: the eldership does not occur if the fact that the eldership occurs and the prelim happens is false. sent12: that the diminishing hominy does not occur triggers that the nondeductibleness and the eating occurs. sent13: that the emoting occurs hold. sent14: the requital does not occur but the Russianness happens if the nondeductibleness happens. sent15: that the requital does not occur results in that both the unquietness and the diminishing caraway occurs.
void -> assump1: Let's assume that the eldership does not occur.; sent10 & assump1 -> int1: the prelim does not occur.;
the Russian does not occur.
$hypothesis$ = the eldership occurs. ; $context$ = sent1: the fact that both the eldership and the prelim occurs is not correct if the coitalness does not occur. sent2: the eldership does not occur if the fact that the coitalness but not the prelim happens is not false. sent3: the Russian is prevented by that the prelim but not the eldership occurs. sent4: the diminishing billyo occurs and the commissioning occurs. sent5: if the coloring occurs then the coitalness happens and the prelim does not occur. sent6: the coitalness does not occur if the fact that both the coloringness and the non-argentousness occurs hold. sent7: the coitalness occurs. sent8: that the coloringness and the non-argentousness happens is caused by the diminishing caraway. sent9: the brooching craniology happens and the blockading happens. sent10: if the eldership does not occur the prelim does not occur. sent11: the eldership does not occur if the fact that the eldership occurs and the prelim happens is false. sent12: that the diminishing hominy does not occur triggers that the nondeductibleness and the eating occurs. sent13: that the emoting occurs hold. sent14: the requital does not occur but the Russianness happens if the nondeductibleness happens. sent15: that the requital does not occur results in that both the unquietness and the diminishing caraway occurs. ; $proof$ = 
void -> assump1: Let's assume that the eldership does not occur.; sent10 & assump1 -> int1: the prelim does not occur.; __UNKNOWN__