Hola.
Creo que el problema podría estar en que te quedó mal anotada la hipótesis 1: no es un <->, sino un ->.
(Casi) siempre hay muchas formas correctas de resolver una derivación. Por ejemplo, te sugeriría que la empezaras de nuevo, intentando explotar esa implicancia para deducir gama (o sea para resolver la tercera línea contando desde abajo hacia arriba).
Si te volvés a trancar contanos qué intentaste y la vamos resolviendo.
Saludos