 Aşağıdaki ifade geçerli bir kıyas olarak kabul edilebilir mi? Tüm tavuklar memelidir, kuşlar memeli değildir, bu nedenle tüm kuşlar tavuktur.
 Hayır, yukarıdaki ifade geçerli bir kıyas olarak kabul edilemez çünkü sonuç mantıksal olarak kendisinden önce gelen ifadelerden çıkmaz. Tüm tavukların memeli olduğu şeklindeki ilk ifade ve kuşların memeli olmadığı şeklindeki ikinci ifade, tüm kuşların tavuk olduğu anlamına gelmez.