Anne is white. White, red things are nice. All big, white things are nice. If something is nice and white then it is blue. If something is nice and smart then it is blue. If something is white then it is big. Red things are white.
Anne is blue.
@0: Anne is white.[(triple1)] @1: Anne is big.[(((triple1) -> rule5))] @2: Anne is nice.[(((((triple1) -> rule5) triple1) -> rule2))] @3: Anne is blue.[(((((((triple1) -> rule5) triple1) -> rule2) triple1) -> rule3))]