End-to-end diagram of the proposed methodological framework, illustrating the generation of syllogistic arguments from domain-specific ontologies, parameterized input to LLMs, and evaluation tasks including textual inference and premise selection. Credit: arXiv (2024). DOI: 10.48550/arxiv.2410.14399