agrega (cycformula) a los hechos especificados en MicrotheoryMt