"Eğer yağmur yağarsa, yerler ıslanır. Yerler ıslak değil. O halde yağmur yağmamıştır." Bu akıl yürütme mantıkta hangi geçerli çıkarım kuralına örnektir?