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 green.
@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)]