there exists something such that if that either it is not extracellular or it is aeromechanic or both does not hold then it does not parley.
sent1: something does not parley if the fact that it either is not extracellular or is aeromechanic or both is wrong. sent2: if the fact that something is stoppable or it is a kind of a sanction or both is not right then it is not satyric. sent3: the surrogate does not parley if that either it is extracellular or it is aeromechanic or both does not hold. sent4: there exists something such that if the fact that it is not extracellular and/or is aeromechanic is not true then it is a kind of a parley. sent5: if that either something is not a theogony or it is octangular or both is not correct then it is not a floe. sent6: if that the surrogate is non-extracellular and/or it is aeromechanic is not true it is a parley.
sent1 -> int1: if the fact that the surrogate is either not extracellular or aeromechanic or both is not correct it is not a parley.; int1 -> hypothesis;
there exists something such that if that it is not a theogony and/or it is octangular is not true it is not a floe.
sent5 -> int2: if that the medic is not a kind of a theogony or is octangular or both does not hold it is not a kind of a floe.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if that either it is not extracellular or it is aeromechanic or both does not hold then it does not parley. ; $context$ = sent1: something does not parley if the fact that it either is not extracellular or is aeromechanic or both is wrong. sent2: if the fact that something is stoppable or it is a kind of a sanction or both is not right then it is not satyric. sent3: the surrogate does not parley if that either it is extracellular or it is aeromechanic or both does not hold. sent4: there exists something such that if the fact that it is not extracellular and/or is aeromechanic is not true then it is a kind of a parley. sent5: if that either something is not a theogony or it is octangular or both is not correct then it is not a floe. sent6: if that the surrogate is non-extracellular and/or it is aeromechanic is not true it is a parley. ; $proof$ = 
sent1 -> int1: if the fact that the surrogate is either not extracellular or aeromechanic or both is not correct it is not a parley.; int1 -> hypothesis; __PROVED__