Si encuentro esa condición y el objeto de la conclusión se deja subsumir bajo la condición dada, entonces es la conclusión inferida de la regla, que vale también para otros objetos del conocimiento.