Bob is kind. Bob is rough. Bob is white. If someone is young then they are rough. If someone is white then they are big. All young people are big. If someone is furry and white then they are kind. All quiet, white people are furry. If someone is white then they are young.
Bob is not white.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2 OR ((((triple3) -> rule6)) -> rule1))] Bob is white.[(triple3)] @1: Bob is big.[(((triple3) -> rule2) OR ((((triple3) -> rule6)) -> rule3))] Bob is young.[(((triple3) -> rule6))]