the mutativeness occurs.
sent1: if the fact that the bigamy but not the benching happens is not correct the osteotomy does not occur. sent2: if that not the ophthalmectomy but the pneumonectomy happens is incorrect the ophthalmectomy happens. sent3: if the wester does not occur the pastime happens. sent4: the wester does not occur if the osteotomy does not occur or the retracting does not occur or both. sent5: that either the pneumonectomy does not occur or the darting flatulence happens or both is not true if the multinucleateness does not occur. sent6: the multinucleateness does not occur. sent7: the non-mutativeness is prevented by the pastime.
void -> assump1: Let's assume that the bigamy but not the benching occurs.; sent5 & sent6 -> int1: that the pneumonectomy does not occur and/or the darting flatulence occurs is not true.;
the ophthalmectomy happens.
$hypothesis$ = the mutativeness occurs. ; $context$ = sent1: if the fact that the bigamy but not the benching happens is not correct the osteotomy does not occur. sent2: if that not the ophthalmectomy but the pneumonectomy happens is incorrect the ophthalmectomy happens. sent3: if the wester does not occur the pastime happens. sent4: the wester does not occur if the osteotomy does not occur or the retracting does not occur or both. sent5: that either the pneumonectomy does not occur or the darting flatulence happens or both is not true if the multinucleateness does not occur. sent6: the multinucleateness does not occur. sent7: the non-mutativeness is prevented by the pastime. ; $proof$ = 
void -> assump1: Let's assume that the bigamy but not the benching occurs.; sent5 & sent6 -> int1: that the pneumonectomy does not occur and/or the darting flatulence occurs is not true.; __UNKNOWN__