Premise: Ceres (dwarf planet) . Its diameter is approximately 945 km , making it the largest of the minor planets within the orbit of Neptune .
Hypothesis: Ceres is within the orbit of Neptune.
Label: ENTAILMENT