Verilen çıkarımın geçerliliğini tikel özelleme kuralına göre denetleyiniz.