Charlie is cold. Charlie is not green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is not cold. Dave is green. Dave is kind. Dave is red. Dave is not rough. Dave is round. Dave is white. If something is not rough and not white then it is cold.
Charlie is red.