Bob is kind. Bob is red. Bob is rough. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Harry is kind. If Dave is rough and Dave is quiet then Dave is kind. Kind people are big. All cold people are red.
Bob is quiet.