Bob is rough. Bob is smart. Bob is young. Young things are smart. Blue things are young. If something is rough then it is red. Blue things are rough. If something is red then it is kind. All smart, kind things are young. All young things are furry. All rough, young things are kind.
Bob is smart.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2 OR ((triple3) -> rule1))] Bob is young.[(triple3 OR ((triple2 ((((triple1) -> rule3)) -> rule5)) -> rule6))] @1: Bob is furry.[(((triple3) -> rule7) OR ((((triple2 ((((triple1) -> rule3)) -> rule5)) -> rule6)) -> rule7))] Bob is kind.[(((triple1 triple3) -> rule8) OR ((((triple1) -> rule3)) -> rule5))] Bob is red.[(((triple1) -> rule3))]