Bob is green. All smart things are green. If something is kind then it is rough. All young, rough things are kind. If Bob is green then Bob is smart. Green things are kind. If something is young then it is smart. If something is kind and young then it is green. Young things are rough.
Bob is kind.
@0: Bob is green.[(triple1)] @1: Bob is kind.[(((triple1) -> rule5))] Bob is smart.[(((triple1) -> rule4))] @2: Bob is rough.[(((((triple1) -> rule5)) -> rule2))]