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 .
Hypothesis: Ceres is within the orbit of Mars.
Label: ENTAILMENT