Hola.
La diferencia que veo es que tenés cuantificadas w1 y w2 en las hipótesis inductivas; por eso no se instancian al hacer lo que te dije. Tendría que ver el archivo para ayudarte, si con esta observación no lográs sacarlo vos. Si no te sale mandame el ejercicio a cluna@fing.edu.uy.
Saludos, Carlos