Permuting tri-derivations in lattices