Prove the following predicate logic principle $($called $$Celarent$),$ ascribed to Aristotle, using

predicate logic rules.

$$No sloths are playful. All three$-$toed sloths are sloths.

Therefore, no three$-$toed sloths are playful.$$

$($Use S$($x$),$ P$($x$),$ T$($x$)$ for sloths, playful, and three$-$toed sloths.$)$