Anne is young. Charlie is furry. Harry is blue. All blue people are young. All furry, white people are kind. If someone is white then they are furry. If Harry is quiet then Harry is white. All blue, kind people are nice. All young people are kind.
Anne is kind.
@0: Anne is young.[(triple1)] Charlie is furry.[(triple2)] Harry is blue.[(triple3)] @1: Anne is kind.[(((triple1) -> rule6))] Harry is young.[(((triple3) -> rule1))] @2: Harry is kind.[(((((triple3) -> rule1)) -> rule6))] @3: Harry is nice.[(((triple3 ((((triple3) -> rule1)) -> rule6)) -> rule5))]