Anne is young. Dave is furry. Young people are kind. All blue people are furry. All young, kind people are blue.
Anne is not young.
@0: Anne is young.[(triple1)] Dave is furry.[(triple2)] @1: Anne is kind.[(((triple1) -> rule1))] @2: Anne is blue.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: Anne is furry.[(((((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))]