Una regla es modificada si produce una inferencia que no estamos dispuestos a aceptar; una inferencia se rechaza si viola una regla no estamos dispuestos a modificar.