Anne is quiet. Charlie is cold. Charlie is red. Fiona is green. Fiona is red. Gary is cold. Gary is quiet. If something is cold then it is blue. If something is blue then it is green. All red, round things are cold. If something is green then it is round. All quiet things are red. If Anne is red then Anne is round.
Charlie is not quiet.