1. adımda, verilen sembolik önermede, okuma kolaylığı sağlamak için kaldırılmış parantez olmadığından bu adımda yine ?x ((Fx ? Gx) ? Hx) önermesi elde edilir.
2. adımda, önermede ad sembolü olmadığından, bu adımda yapılması gereken bir şey yoktur.
3. adımda, yüklem sembolleri yerine, sembolleştirme anahtarında verilen yüklem ifadelerini küme parantezleri içine koyarak ve bu ifadelerin yanına yüklemin uygulandığı değişkenleri koyarak, ?x (({a geçmişe takılmıştır}x ? {a insandır}x) ? {a depresyondadır}x) ifadesini elde ederiz.
4. adımda, önermede geçen {Y(a)}X ifadeleri yerine, Y(a) yüklem ifadesinde
a yerine X değişken veya ad sembolünün konmasıyla elde edilen Y(X) ifadesini koyarak, ?x ((x geçmişe takılmıştır ? x insandır) ? x depresyondadır)
ifadesini elde ederiz.
5. adımda, niceleyiciler ve önerme eklemi sembolleri yerine niceleme ifadelerini ve önerme eklemlerini koyarak, Bazı x ((x geçmişe takılmıştır ve x insandır) ve x depresyondadır) ifadesini elde ederiz.
6. adımda, doğal bir ifade elde etmek için parantezler yerine noktalama işaretleri koyarak ve niceleme ifadesini ve önerme eklemlerini eşanlamlı başka ifadelerle değiştirerek,
Geçmişe takılmış bazı insanlar depresyondadır 
gündelik dil önermesini elde ederiz.

Doğru cevap D seçeneğidir.