(ينتج: إن كانت الشمس طالعة فالأرض مضيئة).
قال: (كقولنا: كل عدد إما زوج أو فرد).
(وكل زوج فهو إما زوج الزوج أو زوج الفرد).
(وكل زوج فهو إما زوج الزوج).
(ينتج: كل عدد إما فرد، أو زوج الزوج، أو زوج الفرد).
(يُنْتِجُ: إِنْ كَانَتِ الشَّمْسُ طَالِعَةً فَالْأَرْضُ مُضِيئَةٌ).
قال: (كَقَوْلِنَا: كُلُّ عَدَدٍ إِمَّا زَوْجٌ أَوْ فَرْدٌ).
(وَكُلُّ زَوْجٍ فَهُوَ إِمَّا زَوْجِ الزَّوْجِ أَوْ زَوْجُ الْفَرْدِ).
(وَكُلُّ زَوْجٍ فَهُوَ إِمَّا زَوْجِ الزَّوْجِ).
(يُنْتِجَ: كُلُّ عَدَدٍ إِمَّا فَرْدٌ، أَوْ زَوْجُ الزَّوْجُ، أَوْ زَوْجُ الْفَرْدِ).