Why God doesn't stop satan?

[R00tKiT]

P1 obviously entails free will. There is no begging involved, I am not trying to prove free will based on P1, I already assumed D has free will by asserting P1.

And of course P1 is not a necessary condition of free will, let's not play this silly game, I am giving one example of free will (choosing some flavor of ice cream), obviously one can have free will and never eat ice cream in their life.

You say "P3 rules out free will", which is a claim you didn't prove. P3 is exactly equivalent to P2 as I proved before. omniscience mean knowledge of all true propostions. If P3 is true, then P1 is true at all times, and a fortiori, ten years ago, therefore P2. Inversely if P2 is true, then because God is omniscient, God knows about P1, therefore P3.

If P1 assumes free will, the argument is invalid.  Let me put it another way.  Let P1(b) be the proposition that the choice in P1 is fully determined and not free.  Now one of two things is true: a) P1(b) is consistent with P1 and therefore P1 is not about free will and the argument fails, or b) P1(b) is inconsistent with P1 and therefore P1 assumes free will, thus begging the question, and making the argument invalid.  You can't simply "assert" free will.

You don't seem to have the first clue about free will.  Color me not surprised.

Yes I can assert free will. Because this is not an argument for free will, but for compatibility between foreknowledge and free will. Meanwhile, keep playing mind games with P1.