전제: 지금까지 달 외에 지구를 도는 다른 위성은 발견되지 않았으나, 지구와 일대일 궤도 공명에 있는 준위성과 같은 지구 접근 천체는 여러 개 존재한다.
함의: 달 외에 지구를 도는 위성은 발견되지 않는다.
모순: 지구와 일대일 궤도 공명에 있는 천체는 없다.