Dave is red. If something is not big then it is furry. If something is big then it is furry. If something is blue and not green then it is rough. If Dave is red and Dave is rough then Dave is furry. Rough, furry things are not green. If something is furry then it is kind. All kind things are blue. If something is not kind then it is rough.
Dave is red.