that the cleistogamy happens is prevented by that the including does not occur.
sent1: the duplicating does not occur but the including occurs if the preempting Augustine occurs. sent2: that the planarness happens prevents the ferrimagnetism. sent3: that the pop-up happens is prevented by that the declarativeness occurs and/or the demobilization occurs. sent4: the volatilizing does not occur. sent5: if the blend does not occur then the exceeding trichlormethiazide happens. sent6: the fact that the jellifying roundelay does not occur hold. sent7: the fact that the necessariness happens hold if the mintiness does not occur. sent8: if the preempting Augustine happens that the cleistogamy does not occur hold. sent9: if the flimsiness does not occur both the cleistogamy and the preempting Augustine happens.
void -> assump1: Let's assume that the including does not occur.; assump1 -> int1: either the including does not occur or the preempting Augustine happens or both.;
the duplicate does not occur.
$hypothesis$ = that the cleistogamy happens is prevented by that the including does not occur. ; $context$ = sent1: the duplicating does not occur but the including occurs if the preempting Augustine occurs. sent2: that the planarness happens prevents the ferrimagnetism. sent3: that the pop-up happens is prevented by that the declarativeness occurs and/or the demobilization occurs. sent4: the volatilizing does not occur. sent5: if the blend does not occur then the exceeding trichlormethiazide happens. sent6: the fact that the jellifying roundelay does not occur hold. sent7: the fact that the necessariness happens hold if the mintiness does not occur. sent8: if the preempting Augustine happens that the cleistogamy does not occur hold. sent9: if the flimsiness does not occur both the cleistogamy and the preempting Augustine happens. ; $proof$ = 
void -> assump1: Let's assume that the including does not occur.; assump1 -> int1: either the including does not occur or the preempting Augustine happens or both.; __UNKNOWN__