Painful Symbolic Logic

Here's some symbolic logic to make your brain hurt.

http://analphilosopher.blogspot.com/

I think that the problem is in step 2.

Thoughts?

Ian