De "Todo A é B" e "Alguns A são C", qual conclusão categórica válida entre B e C?

Alguns B são C.

Explicação:
Se \(A \subset B\) e \(A \cap C \neq \varnothing\), qualquer elemento \(x\in A\cap C\) pertence a A e a C.
Como \(A \subset B\), esse mesmo \(x\) também pertence a B, logo \(x\in B\cap C\), portanto \(B\cap C\neq\varnothing\).

exemplo:
Considere os conjuntos: Motos = A, Veículos = B, Elétricos = C.
Se todo Motos é Veículo, e alguns Motos são Elétricos, então alguns Veículos são Elétricos.