Soru: Ali matematik dersinden geçerse, babası ona bisiklet alacak. Ali matematik dersinden geçti. O halde babası bisiklet alacak. Bu çıkarım dolaylı mıdır? Neden?
Çözüm: Evet, bu bir dolaylı çıkarımdır. Sonuç (babanın bisiklet alması), doğrudan gözlemlenmemiştir; bunun yerine, verilen iki öncülden (koşullu ifade ve Ali'nin geçme durumu) mantıksal olarak çıkarılmıştır. Modus ponens olarak bilinen bu akıl yürütme, dolaylı çıkarımın temel bir şeklidir.
