Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is rough. Fiona is cold. Fiona is furry. Harry is furry. Harry is red. Harry is rough. If something is kind and green then it is red. If something is blue then it is red. Furry things are blue. If something is furry then it is kind. Red, rough things are green. If something is kind then it is green. If something is furry and red then it is rough. If Dave is rough and Dave is kind then Dave is furry.
Fiona is not blue.