'यदि सभी मनुष्य मरणशील हैं, और यदि राम एक मनुष्य है, तो राम भी मरणशील है।' यह ऐसा उदाहरण है जहाँ

आधार-वाक्य सत्य हैं और निष्कर्ष सत्य है।

"सभी मनुष्य मरणशील हैं" मनुष्यों के बारे में एक सत्य सर्वव्यापी कथन है।

"राम एक मनुष्य है" राम को उस वर्ग में रखने वाला सत्य कथन है।

वैध रूप सामान्य नियम को विशेष स्थिति पर लागू करता है।

अतः मरणशीलता राम तक उतरती है, जिससे सत्य निष्कर्ष मिलता है।

यह एक निर्दोष निगमन है, वैध रूप के साथ सत्य आधार-वाक्य।