Anne is blue. Anne is smart. Fiona is kind. Smart people are red. All red people are cold. If Anne is white then Anne is red.
Anne is not cold.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Fiona is kind.[(triple3)] @1: Anne is red.[(((triple2) -> rule1))] @2: Anne is cold.[(((((triple2) -> rule1)) -> rule2))]