Charlie is blue. Dave is red. Fiona is blue. Harry is quiet. All cold things are quiet. If something is green then it is cold. Big, green things are red. If something is green and white then it is red. Cold things are quiet. All red things are green. All cold things are green. If Harry is blue then Harry is red.
Charlie is not blue.