Se é verdade que “Alguns A são B” e que “Nenhum C é B”, então é necessariamente verdadeiro que: