Oh, that's what I've been failing to get across.
I'm not saying if not(p) then (if provable(p) then q). I'm saying if not provable(p) then (if provable(p) then q)
I'm saying if not provable(p) then (if provable(p) then q)
You aren't saying that though. In the post where you numbered your arguments, you said (bolding mine)
if not(provable(P)) then provable(if provable(P) then P)
which is different, because it has an extra 'provable'.
This thread is for asking any questions that might seem obvious, tangential, silly or what-have-you. Don't be shy, everyone has holes in their knowledge, though the fewer and the smaller we can make them, the better.
Please be respectful of other people's admitting ignorance and don't mock them for it, as they're doing a noble thing.
To any future monthly posters of SQ threads, please remember to add the "stupid_questions" tag.