Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is smart. Dave is not kind. Dave is nice. Harry is blue. Harry is kind. All smart people are kind. If someone is nice and not kind then they are blue.
Dave is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple6) -> rule1))] Anne is nice.[(triple5)] Anne is smart.[(triple6)] Dave is nice.[(triple8)] Dave is not kind.[(triple7)] Harry is blue.[(triple9)] Harry is kind.[(triple10)] @1: Dave is blue.[(((triple8 triple7) -> rule2))]