Charlie is blue. Charlie is kind. Charlie is red. Dave is blue. Dave is young. Erin is blue. Erin is furry. Erin is red. Gary is rough. Gary is smart. All red people are blue. Smart people are kind. All kind people are red.
Gary is not smart.