Charlie is not blue. Charlie is rough. Charlie is not smart. Charlie is white. Dave is blue. Dave is cold. Dave is not green. Dave is rough. Erin is not big. Erin is blue. Erin is cold. Erin is not green. Erin is not rough. Gary is blue. Gary is not rough. If something is white and cold then it is not green. If something is not cold then it is big. If something is not cold then it is big. All cold things are not big. All smart things are not rough. Smart things are rough. If something is smart then it is not cold. All big, smart things are green.
Charlie is green.