I'm reading the book A Concise Introduction to Logic (12th edition), and they say that this is a deduction:
Gabriel is a wolf.
Gabriel has a tail.
Therefore, Gabriel’s tail is the tail of a wolf.
Is that correct? It is not only probable that Gabriel's tail is a wolf's tail? He may can have a cat's tail because of a transplant. This conclusion necessarily follows?