Anne is quiet. Anne is smart. Anne is young. Kind people are furry. If someone is round and quiet then they are kind. Smart people are round.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] @1: Anne is round.[(((triple2) -> rule3))] @2: Anne is kind.[(((((triple2) -> rule3) triple1) -> rule2))] @3: Anne is furry.[(((((((triple2) -> rule3) triple1) -> rule2)) -> rule1))]