Charlie is white. Dave is blue. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is red. Erin is smart. All smart, round people are blue. If someone is smart then they are round. All blue people are rough.
Charlie is not blue.