Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is white. If something is red then it is green. All white, green things are cold. All rough things are blue.
Anne is not white.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule3))] Anne is cold.[(triple2 OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple5) -> rule1)) -> rule2))] Anne is green.[(triple3 OR ((triple5) -> rule1))] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)]