Anne is rough. Bob is nice. Dave is smart. Harry is quiet. Round, rough things are quiet. Furry, quiet things are nice. If something is rough then it is round.
Anne is nice.
@0: Anne is rough.[(triple1)] Bob is nice.[(triple2)] Dave is smart.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is round.[(((triple1) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule3) triple1) -> rule1))]