We prove Goedels theorem in a higher level logic.
So #2 and #3 occur on different levels
4 is false, we don't know if our higher level reasoning is consistent. Good example - "naive set theory", created based on our common sense reasoning, is inconsistent.

I am late in this topic.
To original poster: you should compare Self Sampling Assumption vs Self Indexing Assumption. Based on SSA, you can't be animal mind because of the reference class used (humans).

It raises deeper question about sampling across different classes, in that sense question is valid and I don't have an answer. But why do you think you had won the lottery? Evolution continues, there will be more intelligent post-humans