the barycenter is not an ouster.
sent1: the star is a kind of an entitlement if it is a freckle. sent2: if the monstrance is a wingspread then the barycenter is unmade. sent3: there is nothing such that it is both undomestic and not far. sent4: the monstrance is a wingspread if that the kris is not a domestic and not far is not correct. sent5: if the star is not an entitlement and/or it is not toxic then it is not an entitlement. sent6: either the star is not an entitlement or it is not toxic or both. sent7: the fact that something is both not unmade and not a wingspread is not correct if it is a freckle. sent8: if the star is a kind of an ouster then the barycenter is an entitlement.
sent3 -> int1: the fact that the kris is not a domestic and is not far is not correct.; int1 & sent4 -> int2: the monstrance is a wingspread.; int2 & sent2 -> int3: the barycenter is unmade.; void -> assump1: Let's assume that the fact that the barycenter is an ouster is right.; int3 & assump1 -> int4: the barycenter is unmade an ouster.; int4 -> int5: something is both unmade and an ouster.; sent5 & sent6 -> int6: the star is not an entitlement.;
the fact that the barycenter is an ouster is right.
sent7 -> int7: that the barycenter is made and not a wingspread is not right if it does freckle.;
$hypothesis$ = the barycenter is not an ouster. ; $context$ = sent1: the star is a kind of an entitlement if it is a freckle. sent2: if the monstrance is a wingspread then the barycenter is unmade. sent3: there is nothing such that it is both undomestic and not far. sent4: the monstrance is a wingspread if that the kris is not a domestic and not far is not correct. sent5: if the star is not an entitlement and/or it is not toxic then it is not an entitlement. sent6: either the star is not an entitlement or it is not toxic or both. sent7: the fact that something is both not unmade and not a wingspread is not correct if it is a freckle. sent8: if the star is a kind of an ouster then the barycenter is an entitlement. ; $proof$ = 
sent3 -> int1: the fact that the kris is not a domestic and is not far is not correct.; int1 & sent4 -> int2: the monstrance is a wingspread.; int2 & sent2 -> int3: the barycenter is unmade.; void -> assump1: Let's assume that the fact that the barycenter is an ouster is right.; int3 & assump1 -> int4: the barycenter is unmade an ouster.; int4 -> int5: something is both unmade and an ouster.; sent5 & sent6 -> int6: the star is not an entitlement.; __UNKNOWN__