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