Bob is nice. Bob is rough. Bob is young. If something is smart and not big then it is rough. If something is big and white then it is rough. If Bob is big then Bob is nice. If something is nice and young then it is green. If something is rough then it is green. If something is smart and not young then it is white. If something is smart then it is white. All young things are smart.
Bob is rough.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] @1: Bob is green.[(((triple2) -> rule5) OR ((triple1 triple3) -> rule4))] Bob is smart.[(((triple3) -> rule8))] @2: Bob is white.[(((((triple3) -> rule8)) -> rule7))]