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