Ou seja: há contradição insanável da fundamentação quando, fazendo um raciocínio lógico, for de concluir que a fundamentação leva precisamente a uma decisão contrária àquela que foi tomada ou quando, de harmonia com o mesmo raciocínio, se concluir que a decisão não é esclarecedora, face à colisão entre os fundamentos invocados; há contradição entre os fundamentos e a decisão quando haja oposição entre o que ficou provado e o que é referido como fundamento da decisão tomada; e há contradição entre os factos quando os provados e os não provados se contradigam entre si ou de forma a excluírem-se mutuamenteSimas Santos, Recursos..., 5 ed.