Bob is cold. Bob is furry. Bob is rough. Bob is smart. Charlie is green. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is furry. Fiona is green. Fiona is red. If someone is furry then they are cold. If someone is furry and smart then they are green. If Bob is red then Bob is green. Smart, green people are white. If someone is furry then they are cold. All rough, white people are red.
Charlie is red.