Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Anne is young. Cold, nice things are green.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple4) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)]