Siga apenas relações garantidas

A dedução lógica pergunta qual conclusão necessariamente decorre das premissas. Considere cada premissa verdadeira. Nomes como Âmbar e Bétula são apenas rótulos de grupos, não fatos sobre objetos reais.

Todos os elementos de Âmbar pertencem a Bétula coloca cada elemento de Âmbar dentro de Bétula. Isso não diz que todo elemento de Bétula pertence a Âmbar.

Alguns significa pelo menos um. Todos e Nenhum não garantem que exista algum elemento. O contorno de um grupo no diagrama mostra uma relação, não um elemento.