Deste modo, ou a Ré foi parte no contrato ou não foi parte; uma hipótese exclui a outra. 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.