the hardinggrass is curtainless and does not churn teju.
sent1: the hemosiderin is curtainless if it is shamanist and it is a kind of a Aristotelian. sent2: if the fact that something is not a lees but it is curtainless does not hold it is not curtainless. sent3: if there exists something such that it is not domiciliary then the hemosiderin is non-shamanist. sent4: if the hemosiderin is curtainless then the hardinggrass is curtainless. sent5: the hardinggrass is curtainless. sent6: something is not curtained if the fact that it is both not shamanist and a Aristotelian is not incorrect. sent7: something is domiciliary. sent8: if there exists something such that it is not domiciliary the hemosiderin is not shamanist but it is a kind of a Aristotelian. sent9: if that the hemosiderin is curtainless is true then the hardinggrass is curtainless but it does not churn teju. sent10: if something is both shamanist and a Aristotelian then that it is curtainless hold. sent11: something is not domiciliary.
sent6 -> int1: if the hemosiderin is not shamanist but Aristotelian it is curtainless.; sent11 & sent8 -> int2: the hemosiderin is non-shamanist but it is Aristotelian.; int1 & int2 -> int3: the hemosiderin is curtainless.; int3 & sent9 -> hypothesis;
something is not foreleg.
sent2 -> int4: if that the hardinggrass is both not a lees and curtainless is not true then it is not curtainless.;
$hypothesis$ = the hardinggrass is curtainless and does not churn teju. ; $context$ = sent1: the hemosiderin is curtainless if it is shamanist and it is a kind of a Aristotelian. sent2: if the fact that something is not a lees but it is curtainless does not hold it is not curtainless. sent3: if there exists something such that it is not domiciliary then the hemosiderin is non-shamanist. sent4: if the hemosiderin is curtainless then the hardinggrass is curtainless. sent5: the hardinggrass is curtainless. sent6: something is not curtained if the fact that it is both not shamanist and a Aristotelian is not incorrect. sent7: something is domiciliary. sent8: if there exists something such that it is not domiciliary the hemosiderin is not shamanist but it is a kind of a Aristotelian. sent9: if that the hemosiderin is curtainless is true then the hardinggrass is curtainless but it does not churn teju. sent10: if something is both shamanist and a Aristotelian then that it is curtainless hold. sent11: something is not domiciliary. ; $proof$ = 
sent6 -> int1: if the hemosiderin is not shamanist but Aristotelian it is curtainless.; sent11 & sent8 -> int2: the hemosiderin is non-shamanist but it is Aristotelian.; int1 & int2 -> int3: the hemosiderin is curtainless.; int3 & sent9 -> hypothesis; __PROVED__