Anne is green. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Dave is furry. Dave is quiet. Dave is smart. Harry is nice. Smart people are furry. All smart, round people are green. Green, quiet people are cold. Quiet, round people are smart. Nice people are smart. Furry people are quiet. If someone is nice and furry then they are green. If someone is cold and quiet then they are round.
Bob is not round.