Carl Hempel'e göre "Bütün kuzgunlar siyahtır" Bu önermeyi iki şekilde ispatlayabiliriz:
a) Çok sayıda kuzgun görüp, hepsinin de siyah olduğunu tesbit ederek
b) Siyah olmayan şeylerin, aynı zamanda kuzgun da olmadığını görerek. Bilinen şu ki çok sayıda siyah kuzgun ve yine çok sayıda siyah olmayan, aynı zamanda kuzgun da olmayan cisim vardır.