if the ozonosphere does populate kiaat that the hope is a kind of non-cyanobacterial thing that is a verbiage does not hold.
sent1: if the fact that the chokecherry does afford hold then it is a verbiage. sent2: if the chokecherry casts Epimetheus the fact that it affords is true. sent3: if the ozonosphere populates kiaat then the achene is adaxial. sent4: the fact that the hope is cyanobacterial and it is a kind of a verbiage is not correct if the ozonosphere does populate kiaat. sent5: the chokecherry casts Epimetheus if the achene is adaxial. sent6: the ozonosphere does afford. sent7: if the ozonosphere populates kiaat the hope is both non-cyanobacterial and a verbiage.
void -> assump1: Let's assume that the ozonosphere populates kiaat.; sent3 & assump1 -> int1: the achene is adaxial.; int1 & sent5 -> int2: the chokecherry does cast Epimetheus.; int2 & sent2 -> int3: the chokecherry affords.; int3 & sent1 -> int4: the chokecherry is a verbiage.;
$hypothesis$ = if the ozonosphere does populate kiaat that the hope is a kind of non-cyanobacterial thing that is a verbiage does not hold. ; $context$ = sent1: if the fact that the chokecherry does afford hold then it is a verbiage. sent2: if the chokecherry casts Epimetheus the fact that it affords is true. sent3: if the ozonosphere populates kiaat then the achene is adaxial. sent4: the fact that the hope is cyanobacterial and it is a kind of a verbiage is not correct if the ozonosphere does populate kiaat. sent5: the chokecherry casts Epimetheus if the achene is adaxial. sent6: the ozonosphere does afford. sent7: if the ozonosphere populates kiaat the hope is both non-cyanobacterial and a verbiage. ; $proof$ = 
void -> assump1: Let's assume that the ozonosphere populates kiaat.; sent3 & assump1 -> int1: the achene is adaxial.; int1 & sent5 -> int2: the chokecherry does cast Epimetheus.; int2 & sent2 -> int3: the chokecherry affords.; int3 & sent1 -> int4: the chokecherry is a verbiage.; __UNKNOWN__