Charlie is young. Harry is cold. If something is furry then it is young. If something is cold then it is furry.
Harry is cold.
@0: Charlie is young.[(triple1)] Harry is cold.[(triple2)] @1: Harry is furry.[(((triple2) -> rule2))] @2: Harry is young.[(((((triple2) -> rule2)) -> rule1))]