Anne is green. Anne is quiet. Anne is not red. Bob is not quiet. Bob is red. Bob is rough. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is young. Dave is green. Dave is not red. Dave is rough. Dave is young. All cold, blue things are green. If Bob is quiet and Bob is blue then Bob is red.
Bob is not green.