Anne is white. Anne is young. Dave is rough. White things are quiet. Smart, quiet things are young. If Anne is quiet and Anne is young then Anne is kind.
Dave is not young.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Dave is rough.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule1))] @2: Anne is kind.[(((((triple1) -> rule1) triple2) -> rule3))]