What is the second premise in the source example?

Ḥujjah: Deriving a Conclusion from Known Judgments

• Every living being has a body
• Every body is human
• Every stone is living
• Some humans are stones