O que se verifica é que a sentença, por um lado, interpretou juridicamente a devolução da máquina ao vendedor como correspondendo a uma datio pro solvendo, cuja factualidade de suporte causa de não se encontra alegada, e, por outro lado, socorreu-se de factualidade referente ao preço da revenda que não se encontra provada.