Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Dave is red. Dave is smart. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is white. Gary is young. If someone is red and smart then they are rough.
Dave is not white.