Que tal:
Vos estás probando lo siguiente:
(∀v : Val) Si v(Γ) = 1 entonces v(α) = 1 o v(β) = 1
Pero lo que habría que probar es algo más fuerte:
(∀v : Val) (Si v(Γ) = 1 entonces v(α) = 1)
o
(∀v : Val) (Si v(Γ) = 1 entonces v(β) = 1)
Y esto no se puede probar porque no se cumple para todo Γ, α y β como lo muestra el contraejemplo de la solución.