"Eğer yağmur yağarsa, sokaklar ıslanır. Sokaklar ıslak değil. O halde yağmur yağmamıştır." Bu çıkarım mantıkta hangi geçerli çıkarım kuralına örnektir?