Dave is blue. Fiona is blue. Gary is round. Harry is nice. If Dave is nice then Dave is rough. If Gary is red and Gary is rough then Gary is smart. If Harry is cold and Harry is smart then Harry is round. If someone is nice then they are round. Nice people are smart. Cold people are blue. If someone is red then they are rough. All round people are rough.
Fiona is not nice.