Bob is blue. Bob is kind. Bob is red. Bob is white. Charlie is red. Dave is red. Dave is smart. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is white. If Bob is big then Bob is white. If something is blue then it is kind. Red things are smart. All smart things are big. Red things are nice. If something is smart and kind then it is white. If something is big and nice then it is blue. Big things are blue.
Charlie is not blue.