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