Charlie is not cold. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. Dave is cold. Dave is furry. Dave is nice. Dave is rough. Dave is young. If someone is rough and not furry then they are not cold. All smart, furry people are green. All smart, young people are not cold. All green, rough people are young. Young, cold people are green. If someone is smart and not young then they are nice. If someone is rough and not young then they are nice. If Dave is smart and Dave is not green then Dave is not furry.
Dave is smart.