Dave is big. All blue, furry things are green. If Dave is big and Dave is smart then Dave is not green. If something is big and not white then it is not kind. All smart things are green. If something is green then it is furry. If something is blue and green then it is furry. If Dave is white then Dave is blue. If something is furry and not white then it is big.
Dave is not smart.