Bob is cold. Bob is nice. Dave is not cold. Dave is not green. Dave is not red. Dave is round. Dave is white. If someone is nice then they are round. If someone is round and cold then they are kind. If Dave is white and Dave is not red then Dave is nice.
Dave is not kind.