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 not smart.
@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))]