Charlie is not red. Dave is not cold. Dave is red. Dave is rough. Dave is not round. Erin is cold. Erin is nice. Erin is rough. Erin is round. Erin is young. Gary is cold. Gary is nice. Gary is not rough. Gary is round. Gary is young. All cold, nice things are white. If Dave is young and Dave is not red then Dave is not cold. If Gary is round then Gary is nice.
Dave is not cold.