Bob is red. Bob is rough. Bob is young. If Bob is cold then Bob is kind. Kind, young things are green. If Bob is young then Bob is cold.
Bob is not green.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] @1: Bob is cold.[(((triple3) -> rule3))] @2: Bob is kind.[(((((triple3) -> rule3)) -> rule1))] @3: Bob is green.[(((((((triple3) -> rule3)) -> rule1) triple3) -> rule2))]