Premise: Ceres ( [ ˈsɪəriːz ] minor-planet designation : 1 Ceres ) is the largest object in the asteroid belt that lies between the orbits of Mars and Jupiter . Its diameter is approximately 945 km , making it the largest of the minor planets within the orbit of Neptune . The 33rd-largest known body in the Solar System , it is the only dwarf planet within the orbit of Neptune.Due to its eccentric orbit , the dwarf planet Pluto was also within the orbit of Neptune from 1979 to 1999 , and will be again from approximately 2227 to 2247 . Ceres was the first asteroid to be discovered ( by Giuseppe Piazzi at Palermo on 1 January 1801 ) .
Hypothesis: Ceres is a known planetary body.
Label: ENTAILMENT