Charlie is smart. Gary is nice. Gary is white. If something is not smart then it is kind. If something is big and smart then it is young. All smart, kind things are not young. Big things are kind. If something is kind and not nice then it is cold. All kind, cold things are not nice. If something is big and not kind then it is not young. If Charlie is kind and Charlie is not young then Charlie is not smart.
Gary is not young.