Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not red. Charlie is not smart. Dave is furry. Dave is white. Erin is not blue. Erin is cold. Erin is furry. Erin is nice. Erin is smart. Erin is white. Gary is cold. Gary is red. Gary is not white. If someone is red and not blue then they are smart. If someone is red then they are smart. White, blue people are not smart. If someone is white and red then they are smart. If Dave is nice and Dave is not blue then Dave is red. All red people are nice. All blue people are not smart. If someone is not smart then they are cold.
Charlie is smart.