Anne is blue. Anne is smart. Bob is smart. If something is smart then it is cold.
Bob is not green.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Bob is smart.[(triple3)] @1: Anne is cold.[(((triple2) -> rule1))] Bob is cold.[(((triple3) -> rule1))]