Prémisse : Mars possède la plus petite lune confirmée, Deimos, qui a un diamètre d'environ 7,5 miles.
Hypothèse : La lune terrestre a un diamètre de 3746 kilomètres.
Relation : neutral