Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is smart. Anne is white. Anne is young. If something is furry then it is young. All white, smart things are young.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple3) -> rule1) OR ((triple6 triple5) -> rule2))]