Bob is cold. Bob is kind. Bob is nice. Bob is round. Dave is not cold. Dave is kind. Dave is nice. Dave is round. Dave is smart. Dave is white. Gary is kind. Gary is rough. Gary is round. Gary is not smart. Gary is white. All smart people are nice. All rough people are cold. If Dave is cold then Dave is nice. All cold people are nice. If someone is not nice then they are white. If someone is not smart and not nice then they are kind.
Bob is not kind.