Anne is furry. Anne is young. Bob is young. Dave is not green. Erin is furry. Erin is green. Erin is quiet. If someone is furry and young then they are quiet. If Bob is green then Bob is furry. If someone is kind then they are young. If Dave is not furry then Dave is quiet. Young, green people are nice. All young people are kind. If someone is furry then they are nice. If someone is kind then they are nice. If Bob is kind and Bob is nice then Bob is green.
Bob is not green.