Anne is big. Anne is green. Anne is not kind. Anne is red. Anne is not rough. Anne is smart. Anne is young. If something is kind and smart then it is not rough. If something is young and not kind then it is smart. If something is smart and not young then it is green.
Anne is red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not kind.[(triple3)] Anne is not rough.[(triple5)] Anne is red.[(triple4)] Anne is smart.[(triple6 OR ((triple7 triple3) -> rule2))] Anne is young.[(triple7)]