Anne is not green. Anne is kind. Harry is not green. All kind, young things are white. All kind, green things are white. Red, kind things are not white. If Anne is green and Anne is furry then Anne is not kind. If something is kind then it is furry. If something is kind and not green then it is red.
Harry is not red.
@0: Anne is kind.[(triple2)] Anne is not green.[(triple1)] Harry is not green.[(triple3)] @1: Anne is furry.[(((triple2) -> rule5))] Anne is red.[(((triple2 triple1) -> rule6))] @2: Anne is not white.[(((((triple2 triple1) -> rule6) triple2) -> rule3))]