Anne is smart. Bob is rough. Harry is rough. All rough people are furry. All furry people are green.
Harry is furry.
@0: Anne is smart.[(triple1)] Bob is rough.[(triple2)] Harry is rough.[(triple3)] @1: Bob is furry.[(((triple2) -> rule1))] Harry is furry.[(((triple3) -> rule1))] @2: Bob is green.[(((((triple2) -> rule1)) -> rule2))] Harry is green.[(((((triple3) -> rule1)) -> rule2))]