Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is rough. Anne is white. Anne is young. If someone is young and kind then they are green. All white people are rough.
Anne is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple7 triple4) -> rule1))] Anne is kind.[(triple4)] Anne is rough.[(triple5 OR ((triple6) -> rule2))] Anne is white.[(triple6)] Anne is young.[(triple7)]