Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is not nice. Anne is not rough. Anne is young. All green, big people are furry. If someone is blue and not young then they are nice.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple4 triple1) -> rule1))] Anne is green.[(triple4)] Anne is not nice.[(triple5)] Anne is not rough.[(triple6)] Anne is young.[(triple7)]