Bob is big. Bob is cold. Bob is kind. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is not round. Charlie is smart. Dave is cold. Dave is not kind. Dave is rough. If someone is not rough then they are kind. Smart people are cold.
Bob is smart.