the scattering does not occur if the enslavement does not occur.
sent1: if the fact that the giving does not occur is not false then the anchorage does not occur. sent2: if both the trafficking undervaluation and the scattering occurs the rhizoidalness does not occur. sent3: the middling incentive occurs if that the scattering does not occur and the trafficking undervaluation happens is incorrect. sent4: that the scattering does not occur and the trafficking undervaluation occurs does not hold if the rhizoidalness occurs. sent5: if the sunray does not occur the enslavement occurs. sent6: the trafficking undervaluation occurs. sent7: the vitrioling TELINT happens. sent8: if the rhizoidalness does not occur the wholesomeness occurs and/or the sunray does not occur.
void -> assump2: Let's assume that the scattering happens.; sent6 & assump2 -> int1: both the trafficking undervaluation and the scattering happens.; sent2 & int1 -> int2: the rhizoidalness does not occur.; sent8 & int2 -> int3: either the wholesomeness occurs or the sunray does not occur or both.;
the middling incentive and the tetanus happens.
$hypothesis$ = the scattering does not occur if the enslavement does not occur. ; $context$ = sent1: if the fact that the giving does not occur is not false then the anchorage does not occur. sent2: if both the trafficking undervaluation and the scattering occurs the rhizoidalness does not occur. sent3: the middling incentive occurs if that the scattering does not occur and the trafficking undervaluation happens is incorrect. sent4: that the scattering does not occur and the trafficking undervaluation occurs does not hold if the rhizoidalness occurs. sent5: if the sunray does not occur the enslavement occurs. sent6: the trafficking undervaluation occurs. sent7: the vitrioling TELINT happens. sent8: if the rhizoidalness does not occur the wholesomeness occurs and/or the sunray does not occur. ; $proof$ = 
void -> assump2: Let's assume that the scattering happens.; sent6 & assump2 -> int1: both the trafficking undervaluation and the scattering happens.; sent2 & int1 -> int2: the rhizoidalness does not occur.; sent8 & int2 -> int3: either the wholesomeness occurs or the sunray does not occur or both.; __UNKNOWN__