Question

Se alguns Bifurs são Bofurs e todos os Gloins são Bofurs, então alguns Bifurs serão obrigatoriamente Gloins?

​

Answer 1

Não. Alguns Bifurs seriam obrigatoriamente Gloins apenas se todos os Bofurs fossem Gloins. Porém, é o contrário: todos os Gloins são Bofurs. Nesse caso, pode ser que haja alguma intersecção entre o conjunto de Gloins e Bifurs, mas não é obrigatória.

Coloquei em anexo um esquema que indica que é possível que nenhum Bifur seja Gloin.