Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Bob is white. Bob is young. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. All kind, green things are white. If Dave is round then Dave is young. If something is red then it is kind. If Bob is white then Bob is green. Kind, furry things are young. White things are round. If something is kind then it is round. If something is kind then it is red.
Dave is not red.