Anne is white. White, smart things are nice. Nice, round things are white. White things are smart. If Anne is nice and Anne is white then Anne is blue. All round, furry things are white. Rough things are round. If something is furry then it is smart. All furry, smart things are nice.
Anne is white.
@0: Anne is white.[(triple1)] @1: Anne is smart.[(((triple1) -> rule3))] @2: Anne is nice.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Anne is blue.[(((((triple1 ((triple1) -> rule3)) -> rule1) triple1) -> rule4))]