Se "alguns X são Y" e "todos Y são Z", qual conclusão necessariamente segue?

Algum X é Z.

Explicação:
Seja X, Y, Z conjuntos. "Alguns X são Y" significa \(X\cap Y\neq\varnothing\).
"Todos Y são Z" significa \(Y\subseteq Z\).
Como \(X\cap Y\subseteq X\cap Z\), segue \(X\cap Z\neq\varnothing\).
Portanto, existe pelo menos um elemento que é X e Z ao mesmo tempo.

Exemplo:
Seja C o conjunto de carros, E o dos elétricos e S o dos silenciosos.
"Alguns carros são elétricos" ⇒ \(C\cap E\neq\varnothing\).
"Todos os elétricos são silenciosos" ⇒ \(E\subseteq S\).
Logo \(C\cap S\neq\varnothing\) e assim algum carro é silencioso.