the unrecoverableness occurs.
sent1: that the correlating occurs brings about that the mineral occurs. sent2: that the unequalness happens prevents that the obtuseness does not occur. sent3: the entrenching girl does not occur if the jazzing edger occurs. sent4: if the celioscopy does not occur but the feminism occurs the entrenching girl occurs. sent5: the unequalness occurs if the mineral happens. sent6: the correlating occurs if the fact that not the celioscopy but the feminism occurs does not hold. sent7: that the unrecoverableness happens is triggered by the obtuseness.
void -> assump1: Let's assume that the celioscopy does not occur and the feminism happens.; sent4 & assump1 -> int1: the entrenching girl happens.;
$hypothesis$ = the unrecoverableness occurs. ; $context$ = sent1: that the correlating occurs brings about that the mineral occurs. sent2: that the unequalness happens prevents that the obtuseness does not occur. sent3: the entrenching girl does not occur if the jazzing edger occurs. sent4: if the celioscopy does not occur but the feminism occurs the entrenching girl occurs. sent5: the unequalness occurs if the mineral happens. sent6: the correlating occurs if the fact that not the celioscopy but the feminism occurs does not hold. sent7: that the unrecoverableness happens is triggered by the obtuseness. ; $proof$ = 
void -> assump1: Let's assume that the celioscopy does not occur and the feminism happens.; sent4 & assump1 -> int1: the entrenching girl happens.; __UNKNOWN__