Es un caso algo particular porque aparece una hipótesis que no se usa en la derivación.
De todos modos, la respuesta es que hay que considerar las hipótesis sin cancelar en la derivación.
Las hipótesis generales que no se usan en la derivación no se toman en cuenta para estas condiciones.