Todo hombre sabe que va morir
Todo hombre es bípedo
Algún bípedo sabe que va morir (Inválido)
Algún bípedo sabe que va morir (Para ser válido el diagrama tendría que presentar esta forma)