Agregado varias clases para manejar hechos objetivos reglas, ahora a empezar con el demostrador de teoremas