Si la existencia se considerase como una propiedad, el siguiente silogismo sería válido.