Bob is furry. Charlie is not blue. Dave is round. Harry is furry. If someone is green and blue then they are round. All blue people are big. If someone is not green then they are furry. If someone is green and blue then they are rough. If Charlie is furry and Charlie is not blue then Charlie is big. If someone is big and not green then they are red. If someone is green and not rough then they are furry. If Dave is round and Dave is not rough then Dave is blue.
Charlie is red.