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