Bob is blue. Bob is green. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is white. Fiona is red. Fiona is white. All cold things are kind. If something is nice then it is blue. If something is kind then it is blue. If something is white and green then it is red. Red things are cold. If something is white and not cold then it is not kind.
Fiona is not cold.