"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür." Bu akıl yürütme aşağıdaki çıkarım türlerinden hangisine örnektir?