Por ser assim, se o juiz declara um facto ou uma versão factual como provada, isso implica que a hipótese factual contrária não tenha existido e resulta, logicamente, não provada, ainda que não o diga expressamente.