Ou como o salientou o Tribunal da Relação de Lisboa esta contradição opera sempre que ") de acordo com um raciocínio lógico na base do texto da decisão, por si ou conjugado com as regras da experiência comum, seja de concluir que a fundamentação justifica decisão oposta, ou não justifica a decisão, ou torna-a fundamentalmente insuficiente, por contradição insanável, entre os factos provados, entre os factos provados e não provados, entre uns e outros e a indicação e análise dos meios de prova, fundamentos da convicção do Tribunal.