the permitting sympatry occurs if the dyeing occurs.
sent1: the deduction does not occur and/or the Norwegianness does not occur. sent2: the subsidence occurs. sent3: the unbracing does not occur if that the permitting Cotacachi occurs and the fidgeting largemouth occurs hold. sent4: the cartwheeling occurs. sent5: if that the war does not occur and/or the semifinal does not occur hold then the permitting sympatry happens. sent6: if the levitation does not occur or the Rorschach does not occur or both the frothing happens. sent7: if both the dyeing and the subsidence occurs then the bardolatry does not occur. sent8: if the semifinal does not occur then the fact that not the bardolatry but the warring occurs is false. sent9: the interpolating struggler does not occur.
void -> assump1: Let's assume that the dyeing occurs.; assump1 & sent2 -> int1: the dyeing and the subsidence occurs.; sent7 & int1 -> int2: the bardolatry does not occur.;
the transposition happens.
$hypothesis$ = the permitting sympatry occurs if the dyeing occurs. ; $context$ = sent1: the deduction does not occur and/or the Norwegianness does not occur. sent2: the subsidence occurs. sent3: the unbracing does not occur if that the permitting Cotacachi occurs and the fidgeting largemouth occurs hold. sent4: the cartwheeling occurs. sent5: if that the war does not occur and/or the semifinal does not occur hold then the permitting sympatry happens. sent6: if the levitation does not occur or the Rorschach does not occur or both the frothing happens. sent7: if both the dyeing and the subsidence occurs then the bardolatry does not occur. sent8: if the semifinal does not occur then the fact that not the bardolatry but the warring occurs is false. sent9: the interpolating struggler does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dyeing occurs.; assump1 & sent2 -> int1: the dyeing and the subsidence occurs.; sent7 & int1 -> int2: the bardolatry does not occur.; __UNKNOWN__