the Rus is not a kind of a doge or is not a Hippotragus or both.
sent1: the Rus is not a Hemofil if the captain is a kind of a Isaiah that does groove Riesman. sent2: the fact that the captain grooves Riesman hold if there exists something such that that it does sight mealybug and quotes is wrong. sent3: the captain is a Isaiah if it is a kind of a Tibetan. sent4: the horseleech is a slaughter if that that the captain is not stingless but it is a Tibetan hold does not hold. sent5: something is not a Hippotragus if it is not a kind of a Hemofil. sent6: if the captain is a Saarinen the horseleech is a Isaiah. sent7: the horseleech does not curvet trailhead but it is a Saarinen. sent8: there is something such that that that it does sight mealybug and it is a quote is not false does not hold. sent9: something is a Saarinen and is a Tibetan.
void -> assump1: Let's assume that the fact that the captain is both not stingless and Tibetan does not hold.; sent4 & assump1 -> int1: the horseleech is a slaughter.; sent8 & sent2 -> int2: the fact that the captain grooves Riesman hold.; sent5 -> int3: the Rus is not a Hippotragus if that it is not a kind of a Hemofil is true.;
$hypothesis$ = the Rus is not a kind of a doge or is not a Hippotragus or both. ; $context$ = sent1: the Rus is not a Hemofil if the captain is a kind of a Isaiah that does groove Riesman. sent2: the fact that the captain grooves Riesman hold if there exists something such that that it does sight mealybug and quotes is wrong. sent3: the captain is a Isaiah if it is a kind of a Tibetan. sent4: the horseleech is a slaughter if that that the captain is not stingless but it is a Tibetan hold does not hold. sent5: something is not a Hippotragus if it is not a kind of a Hemofil. sent6: if the captain is a Saarinen the horseleech is a Isaiah. sent7: the horseleech does not curvet trailhead but it is a Saarinen. sent8: there is something such that that that it does sight mealybug and it is a quote is not false does not hold. sent9: something is a Saarinen and is a Tibetan. ; $proof$ = 
void -> assump1: Let's assume that the fact that the captain is both not stingless and Tibetan does not hold.; sent4 & assump1 -> int1: the horseleech is a slaughter.; sent8 & sent2 -> int2: the fact that the captain grooves Riesman hold.; sent5 -> int3: the Rus is not a Hippotragus if that it is not a kind of a Hemofil is true.; __UNKNOWN__