Assumptions: balanced, left cancellative, right cancellative
Conclusions: groupoid
Reason: This is trivial.