Anne is smart. Anne is white. Dave is nice. All white, nice people are quiet. All quiet, kind people are red. All white, smart people are nice.
Dave is white.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Dave is nice.[(triple3)] @1: Anne is nice.[(((triple2 triple1) -> rule3))] @2: Anne is quiet.[(((triple2 ((triple2 triple1) -> rule3)) -> rule1))]