Anne is white. If Anne is nice then Anne is smart. Big things are nice. If Anne is white then Anne is big. Round things are kind. All white, smart things are kind. Smart things are white.
Anne is not smart.
@0: Anne is white.[(triple1)] @1: Anne is big.[(((triple1) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is smart.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))] @4: Anne is kind.[(((triple1 ((((((triple1) -> rule3)) -> rule2)) -> rule1)) -> rule5))]