Gary is nice. Harry is red. If Harry is red then Harry is quiet. If something is red and quiet then it is nice. Nice things are smart.
Harry is not smart.
@0: Gary is nice.[(triple1)] Harry is red.[(triple2)] @1: Gary is smart.[(((triple1) -> rule3))] Harry is quiet.[(((triple2) -> rule1))] @2: Harry is nice.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Harry is smart.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule3))]