“eğer x kuşsa, o zaman uçabilir" bilgisine sahip olduğu takdirde, "x kuştur" enformasyonu sağlandığında, "x uçabilir" sonucuna varabiliyor olmalıdır. Buraya kadar her şey yolunda. Sıkıntı, Tweety'nin penguen olduğu söylendiğinde başlıyor. Bu noktada, daha önce vardığımız Tweety'nin uçabileceği sonucunu geri almamız gerekiyor. Ancak mantık bununla başa çıkamaz.