Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Nice things are furry. Red, cold things are quiet.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple5) -> rule1))] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is quiet.[(triple6 OR ((triple7 triple2) -> rule2))] Anne is red.[(triple7)] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is furry.[(triple10)] Bob is kind.[(triple11)] Bob is red.[(triple12)] @1: Bob is quiet.[(((triple12 triple9) -> rule2))]