Considerando que todo C é B, algum A é B, algum C é A, algum D é A e nenhum D é B, é correto afirmar que