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