Dave is big. Dave is furry. Dave is red. Dave is not rough. Harry is not furry. Harry is green. Harry is red. If something is furry and not red then it is not green. If Harry is rough and Harry is blue then Harry is not red. If something is not furry then it is big.
Dave is not green.