Bob is quiet. Bob is smart. Bob is white. Furry people are young. If someone is big then they are white. Smart people are white. Young people are kind. If Bob is young and Bob is furry then Bob is smart. If Bob is white then Bob is furry.
Bob is white.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2 OR ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule5))] Bob is white.[(triple3 OR ((triple2) -> rule3))] @1: Bob is furry.[(((triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] @2: Bob is young.[(((((triple3) -> rule6)) -> rule1) OR ((((((triple2) -> rule3)) -> rule6)) -> rule1))] @3: Bob is kind.[(((((((triple3) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule4))]