Dave is green. Dave is not rough. Dave is smart. If Dave is not furry then Dave is smart. Rough things are not red. If something is kind and not red then it is smart. If something is not white then it is not kind. Green things are smart. If something is not green then it is not red. If Dave is red and Dave is furry then Dave is smart. If Dave is green and Dave is not smart then Dave is kind.
Dave is not green.