Bir mantıkçı, "A, B'dir. B, C'dir. O halde A, C'dir" şeklinde formüle ettiği akıl yürütme biçimini kullanıyor. Bu mantıkçının kullandığı kıyas türü aşağıdakilerden hangisidir?