Anne is cold. Anne is furry. Anne is not kind. Anne is round. Anne is not young. Bob is cold. Bob is furry. Bob is red. Bob is young. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is not round. Furry, young things are not round. If something is round and not furry then it is not red.
Bob is not blue.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not kind.[(triple3)] Anne is not young.[(triple5)] Anne is round.[(triple4)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8)] Bob is young.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not round.[(triple15)] Harry is red.[(triple14)] @1: Bob is not round.[(((triple7 triple9) -> rule1))]