the vault is jawless if the kainite is a revenant.
sent1: the kainite is a kind of a revenant but it is not a madderwort. sent2: that the Balkan is not a madderwort is right if the fact that it masks suitor and is not a repercussion is incorrect. sent3: if something that does mask suitor is not a repercussion the kainite is a revenant. sent4: the vault is anasarcous if the Balkan is jawless. sent5: the fact that the Balkan is not a repercussion is not false. sent6: the vault is jawless if the fact that the Balkan is a cottonwood and not anasarcous is not right. sent7: that the fact that something is a cottonwood but it is not anasarcous is not incorrect is not correct if it is not a madderwort. sent8: the fact that the Balkan masks suitor and is a kind of a repercussion is not right. sent9: there is something such that it does mask suitor and is a repercussion.
void -> assump1: Let's assume that the Balkan does mask suitor and is not a kind of a repercussion.; assump1 -> int1: there is something such that it masks suitor and it is not a kind of a repercussion.; void -> assump2: Let's assume that the kainite is a kind of a revenant.; sent7 -> int2: if the Balkan is not a madderwort that it is a kind of a cottonwood and is not anasarcous does not hold.;
$hypothesis$ = the vault is jawless if the kainite is a revenant. ; $context$ = sent1: the kainite is a kind of a revenant but it is not a madderwort. sent2: that the Balkan is not a madderwort is right if the fact that it masks suitor and is not a repercussion is incorrect. sent3: if something that does mask suitor is not a repercussion the kainite is a revenant. sent4: the vault is anasarcous if the Balkan is jawless. sent5: the fact that the Balkan is not a repercussion is not false. sent6: the vault is jawless if the fact that the Balkan is a cottonwood and not anasarcous is not right. sent7: that the fact that something is a cottonwood but it is not anasarcous is not incorrect is not correct if it is not a madderwort. sent8: the fact that the Balkan masks suitor and is a kind of a repercussion is not right. sent9: there is something such that it does mask suitor and is a repercussion. ; $proof$ = 
void -> assump1: Let's assume that the Balkan does mask suitor and is not a kind of a repercussion.; assump1 -> int1: there is something such that it masks suitor and it is not a kind of a repercussion.; void -> assump2: Let's assume that the kainite is a kind of a revenant.; sent7 -> int2: if the Balkan is not a madderwort that it is a kind of a cottonwood and is not anasarcous does not hold.; __UNKNOWN__