Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is rough. Bob is round. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is round. All blue people are cold. All blue people are big. Cold people are green. Cold, rough people are kind. If someone is kind then they are cold. If Dave is big and Dave is cold then Dave is green. If Dave is rough then Dave is kind. If Bob is rough then Bob is blue.
Dave is rough.