Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Dave is blue. Dave is nice. Dave is red. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is smart. If Dave is red and Dave is blue then Dave is furry.
Bob is not red.