Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is young. If something is cold then it is rough.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is kind.[(triple5)] Anne is rough.[(triple6 OR ((triple3) -> rule1))] Anne is young.[(triple7)]