Anne is green. Anne is not nice. Anne is not rough. Anne is round. Anne is not smart. Anne is white. Anne is young. Green things are not nice.
Anne is young.
@0: Anne is green.[(triple1)] Anne is not nice.[(triple2 OR ((triple1) -> rule1))] Anne is not rough.[(triple3)] Anne is not smart.[(triple5)] Anne is round.[(triple4)] Anne is white.[(triple6)] Anne is young.[(triple7)]