that the stipe is a kind of a lout and is a directorate is not right.
sent1: the grandfather counterpoints. sent2: that the body is both not specialistic and non-immoderate does not hold if it is not a Palaquium. sent3: if the body is not a matriarchy then the fact that the fact that the stipe is a lout and a directorate hold is not correct. sent4: if something is not a counterpoint the fact that it treads and it is a Smiledon is wrong. sent5: if something is both a Smiledon and a tread the fact that the grandfather does not counterpoint hold. sent6: that something does not counterpoint or it is a tread or both is not correct if that it is a Palaquium hold. sent7: if the fact that the body is not specialistic and it is not immoderate is false then the fact that it is not a matriarchy is correct. sent8: there exists something such that it does tread. sent9: the matrix is a Smiledon. sent10: if that something is a tread and a Smiledon is wrong then that it is not immoderate is right.
void -> assump1: Let's assume that the matrix treads.; sent9 & assump1 -> int1: the matrix is a kind of a Smiledon and it treads.; int1 -> int2: there exists something such that it is a Smiledon and it treads.; int2 & sent5 -> int3: the grandfather is not a kind of a counterpoint.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the matrix treads does not hold.;
the poisoner is not immoderate.
sent10 -> int6: the fact that the poisoner is not immoderate is not wrong if the fact that it is a kind of a tread and is a Smiledon is not right.; sent4 -> int7: if the poisoner is not a counterpoint then the fact that it is both a tread and a Smiledon is not right.;
$hypothesis$ = that the stipe is a kind of a lout and is a directorate is not right. ; $context$ = sent1: the grandfather counterpoints. sent2: that the body is both not specialistic and non-immoderate does not hold if it is not a Palaquium. sent3: if the body is not a matriarchy then the fact that the fact that the stipe is a lout and a directorate hold is not correct. sent4: if something is not a counterpoint the fact that it treads and it is a Smiledon is wrong. sent5: if something is both a Smiledon and a tread the fact that the grandfather does not counterpoint hold. sent6: that something does not counterpoint or it is a tread or both is not correct if that it is a Palaquium hold. sent7: if the fact that the body is not specialistic and it is not immoderate is false then the fact that it is not a matriarchy is correct. sent8: there exists something such that it does tread. sent9: the matrix is a Smiledon. sent10: if that something is a tread and a Smiledon is wrong then that it is not immoderate is right. ; $proof$ = 
void -> assump1: Let's assume that the matrix treads.; sent9 & assump1 -> int1: the matrix is a kind of a Smiledon and it treads.; int1 -> int2: there exists something such that it is a Smiledon and it treads.; int2 & sent5 -> int3: the grandfather is not a kind of a counterpoint.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the matrix treads does not hold.; __UNKNOWN__