Anne is cold. Anne is kind. Anne is quiet. Dave is blue. Fiona is red. Harry is kind. Harry is quiet. All blue things are cold. If something is kind then it is rough. All rough things are blue. Blue things are kind. If something is cold then it is green. If Dave is cold then Dave is not red. All green things are not red. All red, quiet things are green.
Fiona is not blue.