Bob is green. Dave is green. Gary is nice. If someone is red and smart then they are green. If someone is smart and not quiet then they are nice. If Bob is not green then Bob is furry.
Dave is not green.