Anne is blue. Anne is cold. Anne is white. If Anne is blue then Anne is green. If Anne is green then Anne is round. If something is white and round then it is quiet.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is white.[(triple3)] @1: Anne is green.[(((triple1) -> rule1))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is quiet.[(((triple3 ((((triple1) -> rule1)) -> rule2)) -> rule3))]