Charlie is furry. Charlie is red. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. Erin is furry. Erin is kind. Erin is nice. Erin is red. Harry is cold. Harry is kind. Harry is white. White people are kind. If someone is kind and young then they are red. If someone is kind and white then they are nice. Red, furry people are nice. All young, nice people are red. All kind, nice people are cold. If someone is nice then they are young. If Charlie is nice then Charlie is kind.
Charlie is not nice.