La idea de inferencia inmediata no es más que la aplicación de una regla "modo implícito".