I’m not really sure, but at least with radio demodulation is done by taking a signal and multiplying it with another signal close in frequency, which generates a low frequency signal based on the difference in frequency of the two tones. Maybe it’s a similar thing with audio. Searching ultrasonic demodulation gave some papers that seem to talk about how to implement it but I didn’t get into reading them