Bob is blue. Bob is nice. Bob is red. Charlie is cold. Charlie is rough. Charlie is smart. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is smart. Fiona is blue. Fiona is cold. Fiona is red. Fiona is rough. Fiona is smart. If someone is smart then they are red. Cold, red people are furry. If someone is red and blue then they are furry. If someone is nice and cold then they are rough. All smart, nice people are furry. If Fiona is blue then Fiona is red. If someone is cold and smart then they are rough. All rough, nice people are blue.
Charlie is not blue.