Anne is cold. Anne is furry. Anne is white. Cold, furry things are young. Young things are not red. If something is white and not red then it is round.
Anne is red.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is white.[(triple3)] @1: Anne is young.[(((triple1 triple2) -> rule1))] @2: Anne is not red.[(((((triple1 triple2) -> rule1)) -> rule2))] @3: Anne is round.[(((triple3 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule3))]