Anne is blue. Anne is cold. Anne is not furry. Anne is kind. Anne is red. Anne is smart. Anne is young. Red people are cold. All kind people are blue.
Anne is not kind.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule2))] Anne is cold.[(triple2 OR ((triple5) -> rule1))] Anne is kind.[(triple4)] Anne is not furry.[(triple3)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)]