Anne is green. Bob is smart. Erin is furry. All smart, red things are furry. If something is young and not smart then it is white. Green things are white. If something is furry and white then it is green. All furry, young things are not red. If something is green then it is red.
Erin is not green.
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Erin is furry.[(triple3)] @1: Anne is red.[(((triple1) -> rule6))] Anne is white.[(((triple1) -> rule3))]