Anne is nice. Anne is quiet. Anne is smart. All nice, cold people are kind. If Anne is smart then Anne is cold.
Anne is not cold.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] @1: Anne is cold.[(((triple3) -> rule2))] @2: Anne is kind.[(((triple1 ((triple3) -> rule2)) -> rule1))]