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