واقع في نفس الأمر واقعٌ على هذا التقدير لأن الواقع على هذا التقدير إما أن يكون ثابتًا في نفس الأمر أو ثابتًا على تقدير يُثْبِت جملةَ الأمور الواقعة على ذلك التقدير

وإنما قلنا ذلك لأن الثابتَ على هذا التقدير إن كان ثابتًا في نفس الأمر فهو أحد الأمرين وإن لم يكن ثابتًا في نفس الأمر فهو ثابتٌ على هذا التقدير لأن الأمور الواقعة كائنة فتبقى على التقادير الجائزة وهذا من التقادير الجائزة

وإذا كان الثابتُ على هذا التقدير ثابتًا في نفس الأمر أو على تقديرٍ يُثْبِتُ جملةَ الأمور الواقعة عليه فأيُّ الأمرين كان لزم أن يكون واقعًا على هذا التقدير لأنه لو لم يكن واقعًا على هذا التقدير لزم اجتماعُ النقيضين إمَّا في نفس الأمر أو على ذلك التقدير الذي تثبت عليه جملةُ الأمور الواقعة لأنه إن كان ما هو ثابتٌ على ذلك التقدير ثابتًا في نفس الأمر فيلزم أن يجتمع في نفس الأمر وقوعُ الواقع وعدمُ وقوعه لأن الفرض أنه ليس واقعًا على ذلك التقدير وأن ما هو ثابت على ذلك التقدير ثابت في نفس الأمر فيلزم أن يكون الذي في نفس الأمر عدم وقوع ما هو واقع وإن كان ما هو ثابت في نفس الأمر ثابتًا على تقدير يُثْبِت جملةَ الواقعة على ذلك التقدير فقد لزم وقوع الأمر الواقعة وعدم وقوعها على ذلك التقدير الذي يثبت