Los meinongianos supondrían que si "B" se ejemplifica con cualquier propiedad, entonces el resultado es verdadero (y muy probablemente, necesario, analítico y a priori).