If a proposition is possibly true in the absence of mental states, then that proposition possibly exists in the absence of all mental states.

The proposition that there are rocks, which we denote <there are rocks>, does not entail the existence of any beings that have or are capable of having mental states. It entails this neither in a strictly or broadly logical sense. That is, it is possible in the broadest sense for <there are rocks> to be true in the absence of all mental states. But now, if this proposition is possibly true in the absence of mental states, then it possibly exists in the absence of all mental states, a