Modele baktığımızda GA'yı Gb şeklinde indirgeyebiliriz ve bu ifadenin doğruluk değeri D'dir. ∃x Gx ifadesini indirgedimizde ise Ga ∨ Gb ∨ Gc ifadesine ulaşırız. Modele göre Gb ve Gc ifadeleri doğru olduğu için Ga ∨ Gb ∨ Gc önermesinin doğruluk değeri de D olur. Bu durumda bu modele göre GA ↔ ∃x Gx önermesi doğru bir önerme olarak karşımıza çıkar. Doğru yanıt C seçeneğidir.