Anne is young. Smart things are quiet. If something is smart and green then it is blue. If Anne is young and Anne is kind then Anne is smart. If something is young then it is quiet. If something is young then it is round. All kind, blue things are round. If Anne is green then Anne is round. If something is quiet and young then it is kind.
Anne is smart.
@0: Anne is young.[(triple1)] @1: Anne is quiet.[(((triple1) -> rule4))] Anne is round.[(((triple1) -> rule5))] @2: Anne is kind.[(((((triple1) -> rule4) triple1) -> rule8))] @3: Anne is smart.[(((triple1 ((((triple1) -> rule4) triple1) -> rule8)) -> rule3))]