Dave is not smart. Erin is not cold. Fiona is cold. Harry is not nice. If Fiona is not nice then Fiona is rough. If Dave is smart and Dave is red then Dave is cold. If Erin is not smart then Erin is red. Red things are not green. Cold things are rough. If something is not green and not smart then it is not blue. Blue things are rough. All blue things are red.
Fiona is red.