Por tudo já supra exposta parece claro que a sentença do tribunal a quo sofre de contradição insanável nos seus termos porquanto considerando as premissas implícitas do silogismo judiciário, pelo que a decisão final que se impunha era o contrário da tomada.