Anne is kind. Anne is round. Anne is white. All red, round things are not big. Round, kind things are red.
Anne is not white.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] @1: Anne is red.[(((triple2 triple1) -> rule2))] @2: Anne is not big.[(((((triple2 triple1) -> rule2) triple2) -> rule1))]