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