Considere que as proposições Todo gestor é líder e Algum gestor é técnico são premissas verdadeiras de um plano de cargos. No campo da lógica de predicados e diagramas de conjuntos

Considere que as proposições Todo gestor é líder e Algum gestor é técnico são premissas verdadeiras de um plano de cargos. No campo da lógica de predicados e diagramas de conjuntos, essa estrutura implica que uma terceira afirmação deve ser necessariamente verdadeira para manter a coerência do conjunto. Analisando as intersecções entre os conjuntos de gestores, líderes e técnicos, qual das alternativas abaixo apresenta uma dedução que NÃO admite contestação lógica dentro desse cenário?