This is reminiscent of the medieval test if someone was a witch.
Throw her in the river. If she survives, she must be a witch and must be punished.
If she drowns, she must NOT have been a witch.
It’s a simple logical deduction. Either one or the other is true in order for the premise to be true.