Anne is cold. Anne is red. Anne is young. All young things are furry. All furry, red things are blue. All blue things are white.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] @1: Anne is furry.[(((triple3) -> rule1))] @2: Anne is blue.[(((((triple3) -> rule1) triple2) -> rule2))] @3: Anne is white.[(((((((triple3) -> rule1) triple2) -> rule2)) -> rule3))]