Charlie is furry. Dave is red. Gary is nice. If someone is red then they are furry. All furry people are not round. All blue, smart people are red. All furry people are red. If someone is smart and not round then they are furry. If Gary is round and Gary is not white then Gary is not smart. All nice people are red. If someone is round and not furry then they are smart.
Dave is not blue.