Bob is nice. Dave is green. Dave is red. If Bob is nice then Bob is red. If Dave is smart and Dave is round then Dave is furry. Green, red people are nice. If Dave is round then Dave is smart. Nice, furry people are cold. If someone is smart then they are green. If Bob is smart then Bob is green. Furry, green people are smart.
Bob is not green.