باشد ، تأليف ميان دو جزئى است . اما نتيجه مىتواند متصله‌اى باشد كه مقدم آن رافع جزء غيرمنتج باشد ، بدين صورت : ان كان لا شىء من ج ب فبعض ب د . ضرب ديگر : اما كل الف ب و اما كل ج ب و كل شىء من الف و لا من ج د فبعض ب د . ضرب ديگر : اما كل الف ب و اما كل ج ب فليس بعض الف و لا بعض ج د . ضرب ديگر : اما كل الف ب و اما بعض ج ب و ليس بعض الف و لا واحد من ج د . در اين اقتران‌ها ، منفصله‌هاى سالبه و جزئى منتج نخواهند بود . د - و اما بر هيأت شكل چهارم از اين قرار است : ضرب اوّل : كل الف و كل ج ب و كل د امّا الف و امّا ج فبعض ب د . ضرب دوم : كل الف و كل ج ب و بعض د امّا الف و امّا ج . در اين شكل نمىتوان منفصله‌ها را مقدم نمود . اگر حمليات در يك محمول مشترك باشند ، از اين قرار خواهند بود : الف - بر هيأت شكل اوّل : مثال : كل الف اما ب و اما ج و كل ب د و كل ج ه ، نتيجه : كل الف اما د و اما ه . اين قضيهء منفصله فقط مانع خلو است ، زيرا هردو محمول مىتوانند متداخل يا متساوى باشند . شرط اين تأليف همان شرط شكل اوّل است ، يعنى منفصله بايد موجبه بوده حملى بايد كلى باشد . اگر حملى سالبه باشد ، در نتيجه ، سلب جزء هريك از اجزاى منفصله مىشود . مثلا و لا شىء من ب د و لا شىء من ج ه ، نتيجه : كل الف امّا ان لا يكون د و امّا ان لا يكون ه . اگر حمليات صغرى و كبرى منفصله باشد ، بدين قرار است : كل الف ب و كل ج د و امّا ان يكون كل ب ه و امّا ان يكون كل د ه ، نتيجه : اما ان يكون كل الف ه و اما ان يكون كل ج ه . در اين موضع سالبهء منفصله منتج است . ب - بر هيأت شكل دوم : كل الف امّا ب و امّا ج و لا شىء من د ب و لا من ه ج ، نتيجه : كل امّا ان لا يكون د و اما ان لا يكون ه ، اين نتيجه نيز مانع خلو است . اگر حمليات موجبه باشد ، منتج نخواهد بود . اگر حمليات بر منفصله مقدم شوند ، نتيجه از اين قرار مىباشد : بعض ما ليس ز أو ه فهو الف . ج - بر هيأت شكل سوم : اما كل الف ب و امّا كل ج د و كل الف ه و كل ج د ، نتيجه : اما