Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is smart. Anne is white. All furry, big people are blue.
Anne is not furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 triple1) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)]