Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is white. All quiet things are white. Rough things are quiet.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple5) -> rule2))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]