Suppose The moon is Earth's only permanent natural satellite. It is the fifth largest moon in the Solar System, and the largest among planetary satellites relative to the size of the planet that it orbits.
Can we infer that "The moon is the largest moon in the Solar System."? Yes, no, or maybe?