the unscholarliness does not occur.
sent1: the unscholarliness does not occur if that not the bacchanal but the wobble happens does not hold. sent2: the wobbling happens and the unscholarliness occurs if the admixture does not occur. sent3: if the bacchanal does not occur the relacing hermit does not occur but the housekeeping caragana happens. sent4: if the wobble occurs and the unscholarliness happens the bacchanal does not occur.
void -> assump1: Let's assume that not the bacchanal but the wobble occurs.; assump1 -> int1: the wobble occurs.;
not the relacing hermit but the housekeeping caragana happens.
$hypothesis$ = the unscholarliness does not occur. ; $context$ = sent1: the unscholarliness does not occur if that not the bacchanal but the wobble happens does not hold. sent2: the wobbling happens and the unscholarliness occurs if the admixture does not occur. sent3: if the bacchanal does not occur the relacing hermit does not occur but the housekeeping caragana happens. sent4: if the wobble occurs and the unscholarliness happens the bacchanal does not occur. ; $proof$ = 
void -> assump1: Let's assume that not the bacchanal but the wobble occurs.; assump1 -> int1: the wobble occurs.; __UNKNOWN__