Bob is blue. Bob is red. Dave is not blue. Dave is furry. Dave is round. Dave is smart. Harry is blue. Harry is not furry. Harry is green. Harry is smart. If Bob is round and Bob is not furry then Bob is big. If Dave is furry then Dave is round. If Bob is green and Bob is big then Bob is smart. All blue things are red. If something is furry and not big then it is not red. If something is furry and not round then it is blue. If something is green and not round then it is blue. If Harry is not red then Harry is not blue.
Bob is green.