Bob is blue. Charlie is blue. Charlie is nice. Dave is big. Dave is blue. Harry is green. Harry is nice. If Bob is green and Bob is furry then Bob is big. If something is nice then it is green.
Dave is not green.