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