Anne is not quiet. Erin is young. Harry is not kind. Furry, young things are not kind. White, quiet things are nice. Quiet things are nice. All furry things are quiet. If Anne is white and Anne is not young then Anne is kind. All young things are furry.
Erin is kind.
@0: Anne is not quiet.[(triple1)] Erin is young.[(triple2)] Harry is not kind.[(triple3)] @1: Erin is furry.[(((triple2) -> rule6))] @2: Erin is not kind.[(((((triple2) -> rule6) triple2) -> rule1))] Erin is quiet.[(((((triple2) -> rule6)) -> rule4))] @3: Erin is nice.[(((((((triple2) -> rule6)) -> rule4)) -> rule3))]