Dave is blue. Dave is not nice. Dave is quiet. Dave is red. Harry is blue. Harry is not nice. Harry is quiet. If Dave is blue then Dave is not cold. If Harry is kind and Harry is not blue then Harry is green. If someone is not red then they are quiet.
Dave is not green.