What is not established by “All teachers are human; Ahmad is human”?Ḥujjah: Deriving a Conclusion from Known JudgmentsAhmad is a teacherAhmad is humanTeachers are humanThat teachers are human