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