Trabajos recientes han demostrado que el índice de inclusión puede servir como base para modelar el Modus Ponens Generalizado. En este documento, desarrollamos un novedoso sistema de inferencia difuso basado en esta regla de inferencia. Para establecer su validez, lo conectamos a una Lógica de Descripción Difusa enriquecida con modificadores difusos (también conocidos como cercenadores difusos). Este trasfondo lógico proporciona al enfoque una fortaleza ausente en la mayoría de los sistemas de inferencia difusa en la literatura, lo que nos permite demostrar formalmente una serie de resultados que culminan en un teorema final de corrección para el sistema propuesto de inferencia difusa. Este documento también presenta un ejemplo en ejecución con el objetivo de mostrar la aplicabilidad potencial de la propuesta.