Bob is kind. Dave is rough. Erin is nice. Harry is blue. All blue people are green. If Bob is smart and Bob is nice then Bob is kind. If Dave is smart and Dave is blue then Dave is rough. Kind, rough people are green. Rough people are kind. All rough, nice people are kind. If someone is rough and nice then they are smart. If someone is nice then they are kind.
Dave is not smart.