Charlie is green. Dave is furry. Furry things are kind. If something is smart then it is red. All young, furry things are green. If Dave is kind and Dave is furry then Dave is green. If something is furry then it is red. If something is furry and young then it is kind.
Charlie is not smart.