Bob is nice. Dave is rough. Dave is not smart. If Dave is round and Dave is not kind then Dave is red. If someone is smart then they are red. All round people are rough. If Dave is rough and Dave is not kind then Dave is red. If Bob is kind then Bob is not smart. If someone is nice and not red then they are rough.
Dave is smart.