Charlie is blue. Charlie is green. Charlie is smart. Charlie is white. Erin is blue. Erin is cold. Erin is red. Erin is smart. Erin is white. Gary is blue. Gary is smart. Gary is white. All red things are white. If Charlie is nice then Charlie is smart. All smart things are nice.
Charlie is blue.