something does not fit privacy and does not contort decoder.
sent1: the woodcarver is not a pound. sent2: if the woodcarver contorts decoder but it is not a brunet the countrywoman is not a brunet. sent3: that the woodcarver is not Jordanian and not chorionic does not hold if something is chorionic. sent4: the woodcarver contorts decoder and is not a brunet if the sulcus does fit privacy. sent5: there exists something such that it is a kind of a Jordanian. sent6: something is pronounceable and it does fit privacy if that it is a Amerindian does not hold. sent7: the woodcarver is not pronounceable. sent8: if the woodcarver fits privacy then it is a kind of non-Jordanian thing that is not chorionic. sent9: the fact that there exists something such that the fact that it is not a kind of a brunet and it is not pronounceable does not hold is right. sent10: there is something such that it is chorionic.
void -> assump1: Let's assume that the woodcarver fits privacy.; sent8 & assump1 -> int1: the woodcarver is not a Jordanian and it is not chorionic.; sent10 & sent3 -> int2: that the woodcarver is a kind of non-Jordanian thing that is not chorionic does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the woodcarver does not fit privacy is true.;
the countrywoman is not a brunet.
sent6 -> int5: if the sulcus is not a kind of a Amerindian it is pronounceable and does fit privacy.;
$hypothesis$ = something does not fit privacy and does not contort decoder. ; $context$ = sent1: the woodcarver is not a pound. sent2: if the woodcarver contorts decoder but it is not a brunet the countrywoman is not a brunet. sent3: that the woodcarver is not Jordanian and not chorionic does not hold if something is chorionic. sent4: the woodcarver contorts decoder and is not a brunet if the sulcus does fit privacy. sent5: there exists something such that it is a kind of a Jordanian. sent6: something is pronounceable and it does fit privacy if that it is a Amerindian does not hold. sent7: the woodcarver is not pronounceable. sent8: if the woodcarver fits privacy then it is a kind of non-Jordanian thing that is not chorionic. sent9: the fact that there exists something such that the fact that it is not a kind of a brunet and it is not pronounceable does not hold is right. sent10: there is something such that it is chorionic. ; $proof$ = 
void -> assump1: Let's assume that the woodcarver fits privacy.; sent8 & assump1 -> int1: the woodcarver is not a Jordanian and it is not chorionic.; sent10 & sent3 -> int2: that the woodcarver is a kind of non-Jordanian thing that is not chorionic does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the woodcarver does not fit privacy is true.; __UNKNOWN__