if the planarness happens and the gyralness happens the betterment does not occur.
sent1: both the exsiccating checker and the dockage happens. sent2: the wardership happens and the potentness happens. sent3: the exsiccating archdeacon happens. sent4: the rapping cordierite happens. sent5: the gyralness occurs. sent6: the usage occurs. sent7: the puppetry and the exsiccating esthetician happens. sent8: if the gyralness does not occur then both the exsiccating paranoid and the planarness occurs. sent9: that the caveat happens and the crunching happens triggers the churning activism.
void -> assump2: Let's assume that the planarness occurs and the gyralness happens.; assump2 -> int1: the planarness occurs.; void -> assump1: Let's assume that the betterment happens.; int1 & assump1 -> int2: the planarness occurs and the betterment occurs.; sent1 -> int3: that the exsiccating checker occurs hold.;
the exsiccating paranoid happens.
$hypothesis$ = if the planarness happens and the gyralness happens the betterment does not occur. ; $context$ = sent1: both the exsiccating checker and the dockage happens. sent2: the wardership happens and the potentness happens. sent3: the exsiccating archdeacon happens. sent4: the rapping cordierite happens. sent5: the gyralness occurs. sent6: the usage occurs. sent7: the puppetry and the exsiccating esthetician happens. sent8: if the gyralness does not occur then both the exsiccating paranoid and the planarness occurs. sent9: that the caveat happens and the crunching happens triggers the churning activism. ; $proof$ = 
void -> assump2: Let's assume that the planarness occurs and the gyralness happens.; assump2 -> int1: the planarness occurs.; void -> assump1: Let's assume that the betterment happens.; int1 & assump1 -> int2: the planarness occurs and the betterment occurs.; sent1 -> int3: that the exsiccating checker occurs hold.; __UNKNOWN__