Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is rough. Bob is smart. Bob is not white. All big, blue people are rough. Big people are kind. If someone is smart and not furry then they are kind. If someone is rough then they are blue. White, rough people are blue. If Bob is white then Bob is blue. If Bob is rough and Bob is kind then Bob is blue. If someone is rough then they are big.
Bob is not white.
@0: Bob is big.[(triple1 OR ((triple5) -> rule8))] Bob is blue.[(triple2 OR ((triple5) -> rule4) OR ((triple5 triple4) -> rule7) OR ((triple5 ((triple1) -> rule2)) -> rule7) OR ((triple5 ((((triple5) -> rule8)) -> rule2)) -> rule7))] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple1) -> rule2) OR ((((triple5) -> rule8)) -> rule2))] Bob is not white.[(triple7)] Bob is rough.[(triple5 OR ((triple1 triple2) -> rule1))] Bob is smart.[(triple6)]