if the cruet-stand is iritic the ascendant does furrow Limax.
sent1: the fact that the cruet-stand is both non-latest and non-iritic is wrong. sent2: the fact that the Tamale is not non-genial and not latest is incorrect. sent3: if the cruet-stand is iritic the fact that the Tamale is not genial and is not a latest is not right. sent4: that the Tamale does not furrow Limax and is latest is not right if the ascendant is iritic. sent5: the fact that the Tamale is genial but it is not a latest is not correct if the cruet-stand is iritic. sent6: if there is something such that the fact that it does not furrow Limax and it is not genial is not true then the Tamale is a latest. sent7: there is something such that the fact that it does furrow Limax and is not genial is wrong. sent8: the fact that the Tamale is both not genial and a latest is incorrect. sent9: the cruet-stand is a Dubuque. sent10: there are non-genial and non-latest things.
void -> assump1: Let's assume that the cruet-stand is not non-iritic.; sent3 & assump1 -> int1: that the Tamale is both non-genial and not latest is wrong.; int1 -> int2: there exists something such that that it is not genial and it is not a latest is incorrect.;
$hypothesis$ = if the cruet-stand is iritic the ascendant does furrow Limax. ; $context$ = sent1: the fact that the cruet-stand is both non-latest and non-iritic is wrong. sent2: the fact that the Tamale is not non-genial and not latest is incorrect. sent3: if the cruet-stand is iritic the fact that the Tamale is not genial and is not a latest is not right. sent4: that the Tamale does not furrow Limax and is latest is not right if the ascendant is iritic. sent5: the fact that the Tamale is genial but it is not a latest is not correct if the cruet-stand is iritic. sent6: if there is something such that the fact that it does not furrow Limax and it is not genial is not true then the Tamale is a latest. sent7: there is something such that the fact that it does furrow Limax and is not genial is wrong. sent8: the fact that the Tamale is both not genial and a latest is incorrect. sent9: the cruet-stand is a Dubuque. sent10: there are non-genial and non-latest things. ; $proof$ = 
void -> assump1: Let's assume that the cruet-stand is not non-iritic.; sent3 & assump1 -> int1: that the Tamale is both non-genial and not latest is wrong.; int1 -> int2: there exists something such that that it is not genial and it is not a latest is incorrect.; __UNKNOWN__