Todo bogavante es creyente

Todo creyente espera ver a Dios

Algunos que esperan ver a Dios son bogavantes
(Inválido)

Algunos que esperan ver a Dios son bogavantes
(La X -no presente en la
conclusión anterior- señala
la existencia de alguien en
la región de los A que son B,
es decir, en la región de los
S que son P)