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