Yukarıda verilen çözümlemede ilk olarak tikel nicelemeyi gerçekleştirdiğimize dikkat ediniz. Çizelgede P ile işaretlediğimiz dallar tamamlanmış ve açıktır. Önermenin modelini bu dallardan herhangi birine göre oluşturabiliriz. En soldaki dala göre ortaya çıkan model aşağıdaki gibidir: M: S_M= {a}, _F^M= {a}, _G^M= { }.