Charlie is not nice. Charlie is not red. Charlie is smart. Dave is cold. Dave is not furry. Dave is green. Dave is nice. Dave is not quiet. Fiona is not cold. Fiona is furry. Fiona is nice. Fiona is red. Red people are green. If Dave is smart then Dave is quiet. If someone is quiet then they are smart.
Fiona is green.