Bahsedilen eksik modelde ∀x ~Gx ifadesi G^M kümesi boş küme olmadığından her yorumda yanlış olacaktır. Bu durumda, FA önermesi de yanlış olmalıdır ki, FA ↔ ∀x ~Gx önermesinin doğruluk değeri her durumda  Y ↔ Y şeklinde doğru (D) olsun. Bize verilen eksik modelde A'yı yerine koyduğumuzda FA'yı Fb'ye indirgeriz. Bu durumda Fb'nin yanlış olması bize sorunun doğru cevabını verecektir. Bunu ifade eden önerme b ∉ F^M önermesidir. Doğru yanıt E seçeneğidir.