Lógica no filme Shrek Terceiro

No filme Shrek Terceiro há um engraçado diálogo entre o Príncipe Encantado e Pinóquio que pode ser relacionado a alguns temas estudados em lógica (modalidades, dupla negação, etc.). O vídeo deste trecho pode ser encontrado em Desmistificando a Matemática, um episódio do programa Espaço Aberto Ciência e Tecnologia da Globo News. O trecho do filme é apresentado logo no início e discutido no final do programa.

Aqui vai minha tentativa de tradução para o diálogo:

Cena: Princípe Encantado quer encontrar Shrek e pergunta a Pinóquio onde Shrek está, pois Pinóquio não pode mentir sem que isto seja percebido pelo crescimento de seu nariz.
Príncipe Encantado: Você. Você não pode mentir. Então me diga, boneco, onde está Shrek?
Pinóquio: Uh, hmm, bem, uh, Eu não sei onde ele não está.
Príncipe Encantado: Você está me dizendo que você não sabe onde Shrek está?
Pinóquio: Não seria impreciso supor que eu não poderia exatamente não dizer que isso é ou não é quase parcialmente correto.
Príncipe Encantado:- Então você sabe onde ele está?
Pinóquio: Oh, pelo contrário. Eu estou possivelmente mais ou menos não definitivamente rejeitando a ideia de que de forma alguma com qualquer quantidade de incerteza que eu inegavelmente...
Príncipe Encantado: Pare!
Pinóquio: ...sei ou não sei onde ele não deveria provavelmente estar, se isto de fato não fosse onde ele não está. Mesmo que ele não estivesse onde eu soubesse que ele estivesse, isto significaria que eu realmente teria que saber onde ele não estava.


O diálogo original pode ser encontrado em: Shrek the Third - Wikiqoute - Dialogue

Prince Charming: You. You can't lie. So tell me, puppet, where is Shrek?
Pinocchio: Uh, hmm, well, uh, I don't know where he's not.
Prince Charming: You're telling me you don't know where Shrek is?
Pinocchio: It wouldn’t be inaccurate to assume that I couldn’t exactly not say that it is or isn’t almost partially incorrect.
Prince Charming:- So you do know where he is?
Pinocchio: Oh, on the contrary. I'm possibly more or less not definitely rejecting the idea that in no way with any amount of uncertainty that I undeniably...
Prince Charming: Stop it!
Pinocchio: ...do or do not know where he shouldn’t probably be, if that indeed wasn’t where he isn’t. Even if he wasn’t at where I knew he was, that’d mean I’d really have to know where he wasn't.