Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is smart. Dave is young. Fiona is not blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is not smart. Fiona is young. If someone is blue and nice then they are young. All nice people are green. If someone is nice and not young then they are green.
Fiona is cold.