Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is young. If Anne is cold then Anne is young.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule1))]