Charlie is quiet. Dave is blue. Dave is cold. Dave is quiet. Dave is white. Fiona is cold. Fiona is kind. Fiona is red. Fiona is white. Harry is cold. Harry is kind. Harry is white. Blue things are green. If something is green then it is red. All green, white things are red. All white things are green. If something is green then it is red. Green things are red. Red, cold things are white. If Dave is quiet and Dave is red then Dave is kind.
Dave is not green.