Bob is not furry. Bob is round. Bob is smart. Charlie is not green. Dave is round. Dave is smart. Fiona is not furry. All blue people are green. If someone is smart then they are not blue. If someone is not green then they are smart.
Charlie is green.