either the non-regressiveness or the diffusing emery or both occurs.
sent1: that the migrationalness occurs or the investigating satellite occurs or both is not right if the Leonardesqueness does not occur. sent2: if that either the migrationalness or the investigating satellite or both happens is not correct the abandoning Aesir does not occur. sent3: the migrationalness does not occur if that the regressiveness does not occur and/or the diffusing emery happens does not hold.
void -> assump1: Let's assume that that either the non-regressiveness or the diffusing emery or both occurs does not hold.; sent3 & assump1 -> int1: the fact that the migrationalness does not occur hold.;
the abandoning Aesir does not occur.
$hypothesis$ = either the non-regressiveness or the diffusing emery or both occurs. ; $context$ = sent1: that the migrationalness occurs or the investigating satellite occurs or both is not right if the Leonardesqueness does not occur. sent2: if that either the migrationalness or the investigating satellite or both happens is not correct the abandoning Aesir does not occur. sent3: the migrationalness does not occur if that the regressiveness does not occur and/or the diffusing emery happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that that either the non-regressiveness or the diffusing emery or both occurs does not hold.; sent3 & assump1 -> int1: the fact that the migrationalness does not occur hold.; __UNKNOWN__