Anne is not nice. Anne is quiet. Anne is smart. All red, furry people are not quiet. Red people are quiet. All quiet, furry people are young. All smart people are furry. If someone is young and nice then they are not furry. All young people are not green.
Anne is furry.
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] @1: Anne is furry.[(((triple3) -> rule4))] @2: Anne is young.[(((triple2 ((triple3) -> rule4)) -> rule3))] @3: Anne is not green.[(((((triple2 ((triple3) -> rule4)) -> rule3)) -> rule6))]