You seem to value logic quite much, yet you claim that we have free will like it's the most natural thing, though I don't think you could come close to giving a convincing argument for it. We make choices, but we make them according to the situation, our knowledge, and our past. What is the difference between "My house is on fire do I go inside and save my child or do I try to carry my wife to the hospital ?" and a machine processing "Livingchildimportance=10, livingwifeimportance=7, chancetomakeitintime = 56%, chancetodieinthefire=34%, ownlifevalue=7" ? The only one is that for the human, the numbers are harder to figure out, leading to the illusion that his decision is made on the spot. But we all have some knowledge, some experiences, and we all care about some things. Where is the "free will" in this, once you've figured out the exact numbers ? Given that a good psychologist can do it very efficiently, why the hell couldn't God ? Which leads me to the second argument:
If God knows everything, he knows what we are going to do. And knew it from the start. I already pointed out that this idea wasn't very much in the favor of the concept of free will, but there's more; there is no "experiment" there, he knew who would make good choices and who would make bad ones. Yet he still created us. This is one of the underlying arguments of the problem of evil; how can you be good when creating something you know will make bad choices and cause evil, then giving him the ability to do so ?
Thirdly, there is no mention of free will in the four propositions. God is assumed to want Good, and you admitted yourself that free will needed evil; logic would then tell you that your free will had no place there. God wants Good, God knows how to make it, God can make it, so God makes it, end of story. But even then; why would free will be equal to good ? Isn't Good, by definition, everything you could ever want ? What exactly is the benefit of a good made deliberately by us over a good made deliberately by God ? I can't see why there would be any. Yet He doesn't seem that willing to make the world a better place.
And Jude, I think you're wrong. I feel like "With great power come great responsibility" kind of applies here. You just can't "allow Evil to exist and not be malevolent". I was about to say it's like causing the pain yourself, but since we're talking about the guy who created everything while knowing everything, he actually did. What definition of malevolent doesn't include a guy that watches everyone suffer because of him, all the while having the power to stop it all without any consequence whatsoever ? I don't feel that arguing semantics is needed here. Maybe you could give an example of a definition of good that would make the world we're living in a perfect place devoid of evil ?
(Just to make it clear, absolutely no hard feelings towards anyone here, I just enjoy arguing about religion.)