Mistake while removing implications in first order predicate logic, can you spot it?

[shivajikobardan]

As you can see I am not getting correct result. What have I messed up? I want to learn it.

https://slideplayer.com/slide/4942120/
Here is full slide in case anyone wants to refer to it.