Se "Nenhum A é B" e "Alguns C são B", qual conclusão válida envolvendo A e C pode ser inferida?

Alguns C não são A.

Explicação:
Da sentença universal \(\forall x (A(x)\rightarrow \neg B(x))\) e do existencial \(\exists x (C(x)\land B(x))\), tome o indivíduo fornecido pelo existencial, ele é C e B. Pela universal, nenhum B pode ser A, então esse indivíduo não é A, logo \(\exists x (C(x)\land \neg A(x))\).

Exemplo:
Considere: Nenhum pássaro é mamífero. e Alguns animais são pássaros.
Logo, alguns animais não são mamíferos.
Formalmente, \(\forall x (Pássaro(x)\rightarrow \neg Mamífero(x))\) e \(\exists x (Animal(x)\land Pássaro(x))\) implicam \(\exists x (Animal(x)\land \neg Mamífero(x))\).