Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Fiona is blue. Fiona is nice. Fiona is smart. Gary is quiet. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Red people are not smart. If Fiona is smart then Fiona is not quiet. If Dave is not red then Dave is blue. Nice, smart people are not green. If someone is quiet then they are cold. If someone is cold and not smart then they are green.
Gary is nice.