Charlie is red. Dave is blue. If someone is round and red then they are blue. If Dave is quiet and Dave is blue then Dave is furry. All furry people are nice. If Charlie is cold then Charlie is blue. Furry, quiet people are red. If Charlie is cold and Charlie is red then Charlie is quiet.
Dave is not red.