Charlie is green. If Charlie is big then Charlie is smart. All kind, green people are young. If someone is kind then they are big. If someone is rough and green then they are kind. If Charlie is green then Charlie is kind. All young people are smart. If Charlie is kind and Charlie is big then Charlie is green. All quiet people are rough.
Charlie is not young.