Se “Nenhum CECO é COCO” e “Alguns CACO são COCO” são afirmações verdadeiras, então, obrigatoriamente, é verdadeiro que