Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is young. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is young. If Dave is quiet and Dave is kind then Dave is rough. All quiet people are kind.
Bob is not rough.