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