Ora, o tribunal a quo não concluiu sem mais pelo não cumprimento, nem se limitara a integrar tal facto negativo nos factos não provados, antes seguiu um raciocínio lógico, analisando criticamente as provas, indicando as ilações tiradas dos factos instrumentais e especificando os demais fundamentos que foram decisivos para a sua convicção.