Dave is furry. Dave is kind. Dave is nice. Nice things are kind. All kind things are green. If Dave is furry and Dave is quiet then Dave is big. If something is big and furry then it is green. If Dave is furry and Dave is kind then Dave is green. If Dave is furry and Dave is red then Dave is quiet. If something is green then it is red. All furry, big things are nice.
Dave is not red.