Anne is blue. Anne is kind. Anne is red. If something is blue and nice then it is quiet. If something is nice then it is smart. Red, blue things are nice.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] @1: Anne is nice.[(((triple3 triple1) -> rule3))] @2: Anne is quiet.[(((triple1 ((triple3 triple1) -> rule3)) -> rule1))] Anne is smart.[(((((triple3 triple1) -> rule3)) -> rule2))]