Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is young. Charlie is green. Charlie is not nice. Charlie is red. Charlie is young. Dave is green. Dave is young. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is young. If someone is rough and smart then they are not young. Nice people are red. If Dave is kind then Dave is red.
Charlie is not green.