Planetary bodies differ from one another in their composition, but most of those in the Solar System have solid surfaces.
Premise
If a planetary body with a solid surface does not have a core that generates enough heat for volcanic action, its surface will not be renewed for millions of years.
Premise
Any solid-surface body whose surface is not renewed for millions of years becomes heavily pockmarked by meteorite craters.
Premise
Some old planetary bodies — including Europa, a very cold moon of Jupiter — have solid icy surfaces with very few meteorite craters.
Anticipate
Chain the conditionals: no volcanic-heat core -> surface not renewed -> heavily pockmarked. Contrapositive: not heavily pockmarked -> surface was renewed -> core does generate enough heat for volcanic action. Europa is old, cold, has a solid surface, and is not heavily pockmarked. So Europa's core must generate enough heat for volcanic action.
Goal
Find the answer that captures this contrapositive — at least some very cold body has a volcanically active core.