Charlie is not furry. Charlie is young. Dave is furry. Dave is kind. Dave is smart. Erin is not furry. Harry is big. Harry is kind. Harry is not nice. Harry is red. If something is smart and not nice then it is young. If something is not nice then it is smart. If something is young and smart then it is not nice. If something is red and not big then it is smart. If Charlie is furry and Charlie is smart then Charlie is kind. Nice, furry things are kind.
Dave is not red.