Utilizamos la potencia de la computación para ser capaces de deducir las reglas