Anne is cold. Harry is red. Cold people are round. All red people are smart.
Harry is red.
@0: Anne is cold.[(triple1)] Harry is red.[(triple2)] @1: Anne is round.[(((triple1) -> rule1))] Harry is smart.[(((triple2) -> rule2))]