Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is blue. Dave is nice. Dave is red. Dave is round. Dave is white. Erin is nice. Erin is quiet. Erin is smart. Erin is white. Gary is smart. All blue things are nice. If something is quiet and smart then it is white. Round, smart things are blue.
Charlie is not white.