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