Anne is cold. Anne is not furry. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. If something is nice then it is smart. If something is nice and cold then it is red.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple3)] Anne is not furry.[(triple2)] Anne is red.[(triple4 OR ((triple3 triple1) -> rule2))] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple3) -> rule1))] Anne is young.[(triple7)]