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.
Anne is not 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))]