Bob is green. Dave is green. If Bob is red and Bob is kind then Bob is smart. If someone is round and nice then they are cold. If someone is round and cold then they are smart. All round people are green. Smart, round people are green. Cold people are nice. If someone is smart then they are cold. If someone is green then they are kind.
Dave is not round.