Considere que C é o conjunto de cachorros, que F é o conjunto de animais fiéis e o diagrama a seguir.
Todos os cachorros são fiéis.
Nenhum cachorro é fiel.
Alguns cachorros são infiéis.
Todos os cachorros são infiéis.
Alguns cachorros são fiéis.