Anne is green. Anne is nice. Anne is not quiet. Erin is big. Erin is furry. Erin is green. Erin is round. Round things are not red. If something is furry and not red then it is nice.
Erin is not round.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not quiet.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is round.[(triple7)] @1: Erin is not red.[(((triple7) -> rule1))] @2: Erin is nice.[(((triple5 ((triple7) -> rule1)) -> rule2))]