Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is smart. Dave is blue. Dave is cold. Dave is furry. Dave is red. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is red. If someone is big and furry then they are smart. If someone is green and smart then they are blue. If Dave is smart and Dave is blue then Dave is furry. If someone is blue then they are red. All green, big people are blue. If someone is furry and green then they are blue. If someone is big then they are blue. All blue, big people are green.
Dave is not furry.