Charlie is furry. Charlie is green. Charlie is nice. Dave is kind. Dave is smart. Dave is young. Erin is young. Harry is furry. Harry is kind. Harry is young. All red, smart people are nice. All furry, nice people are smart. If someone is nice then they are red. All nice people are red. All kind, smart people are young. If Dave is red and Dave is green then Dave is smart.
Harry is not kind.