Anne is blue. Anne is quiet. Anne is round. Green people are nice. Nice, blue people are white. Big, nice people are blue. If Anne is white and Anne is blue then Anne is quiet. If someone is round and quiet then they are white. White, round people are green.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] @1: Anne is white.[(((triple3 triple2) -> rule5))] @2: Anne is green.[(((((triple3 triple2) -> rule5) triple3) -> rule6))] @3: Anne is nice.[(((((((triple3 triple2) -> rule5) triple3) -> rule6)) -> rule1))]