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 white.
@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)]