What follows from “Every human is an animal; every animal is a body”?

Types of Qiyas: Istithna’i and Iqtirani

• Every body is human
• Every human is a body
• No human is a body
• Not every body is an animal