Charlie is blue. Charlie is not cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Dave is blue. Dave is green. Erin is not cold. Erin is kind. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. If something is kind then it is red. If something is not kind and not cold then it is not red. If Erin is not cold then Erin is green. All red, cold things are green. If Charlie is cold then Charlie is not red. If Dave is red and Dave is green then Dave is smart. If something is green and not blue then it is white. If Dave is not kind then Dave is green.
Erin is red.