Verilen çıkarımın geçerliliğini tümel özelleme kuralına göre denetleyiniz.
Aynı yol üzerinde daha önce geçmiş bir ad semboü (a,b,c gibi) varsa x bilinmeyeni yerine o ad sembolu yazılır.Çıkarım geçersizdir.