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