Charlie is big. Charlie is not cold. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is not red. Charlie is white. Dave is not big. Dave is not cold. Dave is green. Dave is kind. Dave is not nice. Dave is red. Dave is white. If Charlie is cold then Charlie is kind. If Charlie is white and Charlie is green then Charlie is red. If Charlie is green then Charlie is big. Nice people are not red. Red people are not cold. If someone is white and not big then they are green.
Charlie is not cold.