Anne is kind. Dave is blue. Erin is white. If something is round and white then it is nice. All white, nice things are round. Kind things are nice. All kind, nice things are white. Rough, blue things are green. White, blue things are round.
Erin is white.
@0: Anne is kind.[(triple1)] Dave is blue.[(triple2)] Erin is white.[(triple3)] @1: Anne is nice.[(((triple1) -> rule3))] @2: Anne is white.[(((triple1 ((triple1) -> rule3)) -> rule4))] @3: Anne is round.[(((((triple1 ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule2))]