The inbound reply is addressed to the NAT public endpoint.
The reply arrives at the public endpoint
The inbound destination is public address 203.0.113.5 port 62000.
public port=62000
The server is the source
The inbound source is server port 53.
server port=53
The tuple matches the saved row
Protocol 17 and public port 62000 match the saved mapping.
protocol=17
Summary
The reply is recognized because it hits the saved public NAT endpoint.
inbound destination port=62000