Anne is not white. Bob is furry. Bob is not green. Bob is kind. Bob is red. Dave is green. Dave is round. If someone is green and round then they are not red. All furry, kind people are red. If Dave is red and Dave is nice then Dave is round. If someone is furry then they are nice. Round, green people are kind. If someone is not round then they are red.
Dave is green.