This is an example that PS doesn't do at-risk very well. The ordering function, +income, -distributions(first) and then -limited losses doesn't take into account the distributions.

$5,000 is the correct loss because they took distributions, leaving zero income to be offset by the at-risk carryforward.