Sabe-se que todo B é A e que algum C é A. Segue-se necessariamente que