if the unsuccessfulness does not occur the gravity-assist does not occur.
sent1: that either the winnowing preseason does not occur or the Armageddon happens or both yields that the bogging couverture does not occur. sent2: the perfusion does not occur and the tightening does not occur if the peatiness does not occur. sent3: the declamation does not occur if the fact that the gravity-assist occurs and the unsuccessfulness occurs is wrong. sent4: the non-moneranness and the non-peatyness happens if the bogging couverture does not occur. sent5: if the tightening does not occur then the bregmaticness does not occur. sent6: if the bregmaticness does not occur then that the gravity-assist occurs and the unsuccessfulness occurs is not correct. sent7: the fact that the maxillariness happens hold. sent8: the gravity-assist does not occur if that the principalship but not the declamation happens is not true.
void -> assump2: Let's assume that the principalship but not the declamation happens.; assump2 -> int1: the principalship happens.;
the bogging boarder happens.
$hypothesis$ = if the unsuccessfulness does not occur the gravity-assist does not occur. ; $context$ = sent1: that either the winnowing preseason does not occur or the Armageddon happens or both yields that the bogging couverture does not occur. sent2: the perfusion does not occur and the tightening does not occur if the peatiness does not occur. sent3: the declamation does not occur if the fact that the gravity-assist occurs and the unsuccessfulness occurs is wrong. sent4: the non-moneranness and the non-peatyness happens if the bogging couverture does not occur. sent5: if the tightening does not occur then the bregmaticness does not occur. sent6: if the bregmaticness does not occur then that the gravity-assist occurs and the unsuccessfulness occurs is not correct. sent7: the fact that the maxillariness happens hold. sent8: the gravity-assist does not occur if that the principalship but not the declamation happens is not true. ; $proof$ = 
void -> assump2: Let's assume that the principalship but not the declamation happens.; assump2 -> int1: the principalship happens.; __UNKNOWN__