Anne is red. Charlie is blue. Erin is white. Gary is quiet. If something is red and not quiet then it is not round. If Erin is not red then Erin is white. Red, blue things are white.
Charlie is not blue.