Más aún, debería existir un algoritmo que pueda decidir si la aplicación de una regla de inferencia es correcta o no.