Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Dave is cold. Dave is kind. Gary is furry. Gary is red. Harry is cold. Harry is young. If Charlie is red then Charlie is kind. If someone is young then they are green. All nice, cold people are kind. If Gary is furry then Gary is nice. All young people are green. If Dave is kind and Dave is nice then Dave is cold. If someone is red and young then they are green. All nice people are young. Green, furry people are cold.
Charlie is red.