Although this question is mostly out of curiosity (as of now), I hope it is nevertheless suitable for MO.

This very recent (and still open) question about the Hall-Witt identity led me to wonder:

1. Does some related generalization to 4 or more variables exist?

And also,

2. Does that then imply a 4 variable (or more) Jacobi like identity?