Anne is kind. Erin is blue. Gary is young. Harry is smart. All kind things are smart. Smart, blue things are kind. If something is furry and rough then it is kind. If Harry is furry and Harry is young then Harry is smart. All smart things are furry. All furry, kind things are young.
Anne is not young.
@0: Anne is kind.[(triple1)] Erin is blue.[(triple2)] Gary is young.[(triple3)] Harry is smart.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Harry is furry.[(((triple4) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is young.[(((((((triple1) -> rule1)) -> rule5) triple1) -> rule6))]