<prompt> Chagua mageuzo bora zaidi hadi kwa predicate logic. All planets are smaller than Jupiter. j: Jupiter; Px: x is a planet; Sxy: x is smaller than yA. xPx Sxj B. xPx Sxj C. xPx Sjx D. xPx Sxj  <response>: <reason> D 