Bob is nice. Bob is rough. Charlie is kind. Charlie is nice. Charlie is young. Dave is big. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is young. Gary is kind. All red people are big. If someone is green then they are rough. Nice people are green. If Dave is rough and Dave is young then Dave is red. If someone is rough and green then they are red. All kind people are nice. If someone is rough and kind then they are red. Big, red people are young.
Charlie is green.