Soru: Eğer yağmur yağarsa, yerler ıslanır. Yerler ıslak değil. O halde yağmur yağmamıştır. Bu nasıl bir çıkarımdır? Açıklayın.
Çözüm: Bu bir dolaylı çıkarımdır. Sonuç (yağmurun yağmaması), doğrudan değil, verilen koşullu ifade ('eğer yağmur yağarsa, yerler ıslanır') ve olgu ('yerler ıslak değil') üzerinden mantık yürütülerek elde edilmiştir. Modus tollens adı verilen bu akıl yürütme biçimi, dolaylı çıkarımın tipik bir örneğidir.
