Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is smart. Charlie is green. Charlie is kind. Charlie is nice. Erin is furry. Erin is kind. Erin is nice. Erin is smart. If someone is nice and smart then they are furry. Kind people are cold. If someone is cold and kind then they are nice. Green, blue people are nice. If Erin is cold and Erin is blue then Erin is nice. All kind, green people are nice.
Charlie is smart.