dogcat1.gif (803 bytes)
Todos los perros son mamíferos

dogcat2.gif (789 bytes)
Todos los gatos son mamíferos

dogcat.gif (816 bytes)
Todos los gatos son perros
(Inválido)

dogcatCon.gif (854 bytes)
Todos los gatos son perros
(Para que la conclusión anterior fuera correcta debería estar sombreada la región de los gatos son mamíferos y así se nos aparecería la región de los son Perros-Mamiferos-Gatos, lo que implicaría que todos los gatos son perros.)