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