Bob is cold. Bob is red. Bob is round. Bob is smart. Charlie is not cold. Charlie is green. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is round. Dave is cold. Dave is green. Dave is red. Dave is rough. Dave is round. Harry is not smart. If someone is green and cold then they are not smart. If someone is smart and not rough then they are kind. If someone is green and not cold then they are kind.
Dave is not kind.