the Nauruan is not a kind of a resorcinol.
sent1: if something is a kind of a resorcinol then it is approachable. sent2: something that does not administer crescendo is a kind of a Mexican and is a spin. sent3: the admixture is not a kind of a resorcinol. sent4: the fact that the Nauruan does not homestead Volkhov if the Nauruan does not homestead Perca hold. sent5: if something does not malt either it is a recessional or it homesteads Volkhov or both. sent6: if the admixture homesteads Volkhov the Nauruan does homesteads Volkhov. sent7: the Nauruan does not homestead Volkhov if the fact that it homesteads Perca and is a Methodism is not right. sent8: the admixture does homestead Volkhov if there is something such that it does homestead Volkhov. sent9: the intoxicant is not a malt if there is something such that it is a Mexican. sent10: the admixture is not a kind of a Methodism. sent11: that there is something such that the fact that it is a malt and does not homestead Volkhov is incorrect is not wrong. sent12: the admixture homesteads Volkhov if there exists something such that the fact that it is a malt that does not homesteads Volkhov is wrong. sent13: there exists something such that that it malts and it homesteads Volkhov is false. sent14: something does malt but it does not homestead Volkhov. sent15: if the Nauruan is not recessional it is a resorcinol and/or homesteads Volkhov. sent16: if the intoxicant does not malt then the admixture is not a malt. sent17: if that the Nauruan is not a resorcinol is not wrong the fact that it homesteads Perca and is a Methodism is false.
void -> assump1: Let's assume that the Nauruan is not a resorcinol.; sent17 & assump1 -> int1: that the Nauruan homesteads Perca and is a kind of a Methodism is wrong.; int1 & sent7 -> int2: that the Nauruan does not homestead Volkhov is not false.; sent11 & sent12 -> int3: the admixture homesteads Volkhov.; sent6 & int3 -> int4: the Nauruan homesteads Volkhov.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the Nauruan is not a resorcinol.
sent2 -> int6: if the storybook does not administer crescendo it is a kind of a Mexican and spins.; sent5 -> int7: if the admixture is not a malt it is a kind of a recessional and/or it homesteads Volkhov.;
$hypothesis$ = the Nauruan is not a kind of a resorcinol. ; $context$ = sent1: if something is a kind of a resorcinol then it is approachable. sent2: something that does not administer crescendo is a kind of a Mexican and is a spin. sent3: the admixture is not a kind of a resorcinol. sent4: the fact that the Nauruan does not homestead Volkhov if the Nauruan does not homestead Perca hold. sent5: if something does not malt either it is a recessional or it homesteads Volkhov or both. sent6: if the admixture homesteads Volkhov the Nauruan does homesteads Volkhov. sent7: the Nauruan does not homestead Volkhov if the fact that it homesteads Perca and is a Methodism is not right. sent8: the admixture does homestead Volkhov if there is something such that it does homestead Volkhov. sent9: the intoxicant is not a malt if there is something such that it is a Mexican. sent10: the admixture is not a kind of a Methodism. sent11: that there is something such that the fact that it is a malt and does not homestead Volkhov is incorrect is not wrong. sent12: the admixture homesteads Volkhov if there exists something such that the fact that it is a malt that does not homesteads Volkhov is wrong. sent13: there exists something such that that it malts and it homesteads Volkhov is false. sent14: something does malt but it does not homestead Volkhov. sent15: if the Nauruan is not recessional it is a resorcinol and/or homesteads Volkhov. sent16: if the intoxicant does not malt then the admixture is not a malt. sent17: if that the Nauruan is not a resorcinol is not wrong the fact that it homesteads Perca and is a Methodism is false. ; $proof$ = 
void -> assump1: Let's assume that the Nauruan is not a resorcinol.; sent17 & assump1 -> int1: that the Nauruan homesteads Perca and is a kind of a Methodism is wrong.; int1 & sent7 -> int2: that the Nauruan does not homestead Volkhov is not false.; sent11 & sent12 -> int3: the admixture homesteads Volkhov.; sent6 & int3 -> int4: the Nauruan homesteads Volkhov.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__