इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रूफ नियमों में गैर-खंडात्मक संकल्प, तार्किक परिवर्तन, संयोजक दावों और विघटनकारी लक्ष्यों के विभाजन, और संरचनात्मक प्रेरण शामिल हैं।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "प्रमाण नियमों में गैर-खंडात्मक संकल्प, तार्किक परिवर्तन, संयोजक कथन और विघटनकारी लक्ष्यों का विभाजन, संरचनात्मक प्रेरण, और सामान्यीकृत ई-रिज़ॉल्यूशन और पैरामोड्यूलेशन शामिल हैं; इन नियमों को प्रथम-क्रम तर्क के लिए पूर्ण दिखाया गया है। "