Bob is green. Dave is nice. Dave is red. Fiona is not cold. Fiona is red. Fiona is not white. Gary is nice. All white things are red. White, quiet things are green. If something is red and not blue then it is nice. If Dave is not cold then Dave is not blue. If something is not cold and not green then it is not white. If something is white and not red then it is quiet.
Bob is cold.