Bob is furry. Dave is not young. If someone is red then they are smart. Red, white people are smart. If Dave is white and Dave is not green then Dave is smart. All white, furry people are young. If someone is red and not round then they are furry. If Dave is green and Dave is not white then Dave is red. If Bob is green then Bob is white. If someone is young and not furry then they are smart.
Dave is not young.