Bu akıl yürütme örneği, klasik mantıkta kullanılan bir çıkarım türü olan "modus ponens"i temsil eder. İşte benzer bir akıl yürütme örneği:
-
Bütün memeliler sıcakkanlıdır.
-
Balinalar memelidir.
-
O hâlde balinalar sıcakkanlıdır.
Bu örnekte, ilk önerme genel bir prensibi ifade eder (bütün memeliler sıcakkanlıdır), ikinci önerme bu genel prensibin belirli bir örneğini verir (balinalar memelidir), ve üçüncü önerme bu bilgiler ışığında bir sonuca varır (balinalar sıcakkanlıdır). Bu tür mantıksal çıkarımlar, argümanların geçerliliğini değerlendirmek için kullanılır.