Anne is blue. Anne is quiet. Anne is smart. If Anne is white then Anne is kind. If someone is blue then they are white.
Anne is cold.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] @1: Anne is white.[(((triple1) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule1))]