A bull that kills someone with its horns must be killed and its meat destroyed, but the owner of the bull isn't responsible for the death.