Anne is green. Dave is green. Dave is kind. Dave is nice. Dave is red. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. If someone is rough and cold then they are young. Nice, red people are rough. Young, cold people are red. All red, young people are nice. Rough people are green. If someone is kind then they are red. All cold, nice people are young. If Dave is green and Dave is not red then Dave is young.
Dave is not cold.