the headwater does not marble headwater.
sent1: that the headwater is a kind of a Appalachian and slinks monotheism is not right. sent2: if that something is not a kind of a Appalachian but it does slink monotheism does not hold it marbles Markova. sent3: the fact that the headwater is a haploid that slinks monotheism is not right. sent4: that the Continent is a pied-a-terre that does slink docent is not right. sent5: if something is a Manama then the fact that it does not home is correct. sent6: if something marbles Markova it does not marble headwater. sent7: the docent is not a kind of a haploid. sent8: if the headwater is not a kind of a pied-a-terre it does not marble headwater. sent9: that the headwater is not a kind of a Appalachian and slinks monotheism is not right if the fact that the notebook does not slinks monotheism hold. sent10: the fact that the Continent is not a haploid is not false if the fact that that it is a pied-a-terre that does slink docent is not false is false. sent11: the fact that the notebook marbles Markova and slinks monotheism is not true. sent12: if the headwater does not marble Markova it is not a haploid. sent13: the Continent does slink monotheism if the fact that it is not a pied-a-terre but a Appalachian does not hold.
void -> assump1: Let's assume that that the notebook slinks monotheism is not wrong.; sent10 & sent4 -> int1: the Continent is not haploid.; sent2 -> int2: if that the headwater is a kind of non-Appalachian thing that slinks monotheism does not hold then it marbles Markova.; sent6 -> int3: the headwater does not marble headwater if that it does marble Markova hold.;
$hypothesis$ = the headwater does not marble headwater. ; $context$ = sent1: that the headwater is a kind of a Appalachian and slinks monotheism is not right. sent2: if that something is not a kind of a Appalachian but it does slink monotheism does not hold it marbles Markova. sent3: the fact that the headwater is a haploid that slinks monotheism is not right. sent4: that the Continent is a pied-a-terre that does slink docent is not right. sent5: if something is a Manama then the fact that it does not home is correct. sent6: if something marbles Markova it does not marble headwater. sent7: the docent is not a kind of a haploid. sent8: if the headwater is not a kind of a pied-a-terre it does not marble headwater. sent9: that the headwater is not a kind of a Appalachian and slinks monotheism is not right if the fact that the notebook does not slinks monotheism hold. sent10: the fact that the Continent is not a haploid is not false if the fact that that it is a pied-a-terre that does slink docent is not false is false. sent11: the fact that the notebook marbles Markova and slinks monotheism is not true. sent12: if the headwater does not marble Markova it is not a haploid. sent13: the Continent does slink monotheism if the fact that it is not a pied-a-terre but a Appalachian does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the notebook slinks monotheism is not wrong.; sent10 & sent4 -> int1: the Continent is not haploid.; sent2 -> int2: if that the headwater is a kind of non-Appalachian thing that slinks monotheism does not hold then it marbles Markova.; sent6 -> int3: the headwater does not marble headwater if that it does marble Markova hold.; __UNKNOWN__