The negative inference necessarily follows from impossibility to nonexistence. What cannot be is not.