Se compara, para cada una de las reglas, cada elemento de la premisa con las sentencias en la memoria de trabajo.