Charlie is not nice. Charlie is not red. Charlie is round. Charlie is smart. Charlie is young. Dave is blue. Dave is nice. Dave is not red. Dave is smart. Erin is blue. Erin is kind. Erin is nice. Erin is not red. Erin is round. Erin is young. If someone is not nice then they are kind. If someone is not nice then they are blue. If someone is kind and smart then they are young. If Dave is smart and Dave is nice then Dave is kind. If someone is blue then they are round. All blue people are smart. Young people are smart. If Erin is smart and Erin is young then Erin is blue.
Charlie is not kind.