Algún europeo es español

Ningún español es marciano

Ningún marciano es europeo
(Inválido)

Ningún marciano es europeo
(Para que la conclusión anterior
fuera válida debería estar
sombreada la región de
los A que son B, es decir,
la región de los S que son P,
con el objeto de crear una clase vacía.)