Dari premis 1: Semua burung cepat → sayap panjang (semua A → B)
Premis 2: Sebagian sayap panjang adalah migran (sebagian B adalah C)
Premis 3: Sebagian migran tidak cepat (sebagian C bukan A)
Karena ada sebagian migran yang bukan termasuk burung cepat, maka burung migran tersebut pasti bukan termasuk yang memiliki sayap panjang secara eksklusif untuk terbang cepat. Dengan kata lain, ada sebagian burung yang punya sayap panjang tapi tidak termasuk kategori terbang cepat → yaitu sebagian burung migran tersebut.
Maka Beberapa burung yang memiliki sayap panjang tidak bisa terbang cepat adalah satu-satunya kesimpulan yang pasti benar.
Pilihan lain:
Semua burung migran memiliki sayap panjang
→ tidak pasti (bisa saja sebagian migran tidak punya sayap panjang)Beberapa burung yang bisa terbang cepat adalah burung migran
→ tidak pasti (bisa saja tidak ada satupun yang overlap)
Tidak ada burung migran yang bisa terbang cepat
→ terlalu kuat (hanya "sebagian", bukan "semua")
Beberapa burung yang memiliki sayap panjang tidak bisa terbang cepat
→ ✔️ Pasti benar, ✔️ Didukung langsung oleh struktur premis, ✔️ Tidak menambah asumsi baru