Using reflection positivity and the Peierls argument, we prove the existence of an ordered phase at sufficiently high activity for a lattice gas of hard spheres on the simple cubic lattice with first- and second-neighbor exclusions.