What is the first known statement in the book’s example?

Ḥujjah: Deriving a Conclusion from Known Judgments