Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is rough. Bob is white. Charlie is blue. Charlie is kind. Charlie is rough. Dave is blue. Dave is green. Dave is quiet. Erin is cold. Erin is kind. Erin is rough. Erin is white. If Bob is blue then Bob is green. All rough, green things are blue. All kind, white things are green.
Charlie is not green.