the Texan is not a Simarouba and not involuntary.
sent1: the fact that something is both not a Simarouba and not involuntary does not hold if that it is not unrentable is true. sent2: something is unrentable if it is not proteinaceous. sent3: if the fact that that the moonshine does not fix and does not interdict biochemistry does not hold is right it is not Rousseauan. sent4: the fact that the praetor is proteinaceous but it is not premedical is not right if it is Rousseauan. sent5: the Texan is not a Simarouba and not involuntary if there exists something such that that it is unrentable is not false. sent6: the Texan is not a Simarouba if there is something such that it is unrentable. sent7: the Texan is not a Simarouba. sent8: if the fact that something is not non-proteinaceous and not premedical is not right then that it is unrentable is not false. sent9: if the praetor is not proteinaceous then it is unrentable. sent10: if the praetor is a kind of a Simarouba then the fact that it is unrentable and it is involuntary is incorrect.
sent8 -> int1: the fact that the praetor is unrentable is true if that it is proteinaceous and not premedical does not hold.;
that the Texan is not a Simarouba and is not involuntary does not hold.
sent1 -> int2: if the Texan is not unrentable then that it is not a Simarouba and it is not involuntary is not true.;
$hypothesis$ = the Texan is not a Simarouba and not involuntary. ; $context$ = sent1: the fact that something is both not a Simarouba and not involuntary does not hold if that it is not unrentable is true. sent2: something is unrentable if it is not proteinaceous. sent3: if the fact that that the moonshine does not fix and does not interdict biochemistry does not hold is right it is not Rousseauan. sent4: the fact that the praetor is proteinaceous but it is not premedical is not right if it is Rousseauan. sent5: the Texan is not a Simarouba and not involuntary if there exists something such that that it is unrentable is not false. sent6: the Texan is not a Simarouba if there is something such that it is unrentable. sent7: the Texan is not a Simarouba. sent8: if the fact that something is not non-proteinaceous and not premedical is not right then that it is unrentable is not false. sent9: if the praetor is not proteinaceous then it is unrentable. sent10: if the praetor is a kind of a Simarouba then the fact that it is unrentable and it is involuntary is incorrect. ; $proof$ = 
sent8 -> int1: the fact that the praetor is unrentable is true if that it is proteinaceous and not premedical does not hold.; __UNKNOWN__