主張：繞火星公轉的小行星9300是1985年被發現。
領域：自然科學
判定：refutes