"Eğer yağmur yağarsa, sokaklar ıslaktır. Sokaklar ıslak değildir. O halde yağmur yağmamıştır." Bu argüman aşağıdaki geçerli çıkarım kurallarından hangisine örnektir?