Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is round. Anne is white. White, furry things are round.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple7 triple2) -> rule1))] Anne is white.[(triple7)]