the lightwood is not a Pygmy.
sent1: the lightwood is a kind of a Sioux if there exists something such that it is a Paraguayan and/or it is a kind of a Krypterophaneron. sent2: that the stave is mesomorphic but it is not an opera does not hold if the hyssop is not unreactive. sent3: if the hyssop is not unreactive then that the stave is a kind of non-mesomorphic thing that is not an opera is not right. sent4: the pheno-safranine is unreactive but it is not a Paraguayan if something is not a Krypterophaneron. sent5: the hyssop is a kind of a Sioux. sent6: if that the stave is not mesomorphic and it is not a kind of an opera is incorrect then it is Paraguayan. sent7: something is not a Pygmy if it is a Sioux. sent8: the fact that the stave is non-mesomorphic an opera is wrong if the hyssop is not unreactive. sent9: if the fact that the hyssop is both not an opera and not unreactive is not true then it is a Sioux.
sent7 -> int1: the lightwood is not a Pygmy if it is a kind of a Sioux.;
the pheno-safranine is unreactive.
$hypothesis$ = the lightwood is not a Pygmy. ; $context$ = sent1: the lightwood is a kind of a Sioux if there exists something such that it is a Paraguayan and/or it is a kind of a Krypterophaneron. sent2: that the stave is mesomorphic but it is not an opera does not hold if the hyssop is not unreactive. sent3: if the hyssop is not unreactive then that the stave is a kind of non-mesomorphic thing that is not an opera is not right. sent4: the pheno-safranine is unreactive but it is not a Paraguayan if something is not a Krypterophaneron. sent5: the hyssop is a kind of a Sioux. sent6: if that the stave is not mesomorphic and it is not a kind of an opera is incorrect then it is Paraguayan. sent7: something is not a Pygmy if it is a Sioux. sent8: the fact that the stave is non-mesomorphic an opera is wrong if the hyssop is not unreactive. sent9: if the fact that the hyssop is both not an opera and not unreactive is not true then it is a Sioux. ; $proof$ = 
sent7 -> int1: the lightwood is not a Pygmy if it is a kind of a Sioux.; __UNKNOWN__