Çizelgeyi oluşturan tek dal tamamlandığı halde açık kaldığından, bu dala bakarak çıkarım için bir karşı-model yazılabilir. Dikkat ediniz: 5. noktada 3 noktasından a elemanı ile tikel-özelleme yapabilseydik çizelge kapanırdı. Ancak, yeni bir harf kullanmamız zorunlu olduğundan bunu yapamayız. Aynı sebeple, 6. nokta olarak, 1. noktaya dönüp b ile tikel-özelleme de yapamayız. Dolayısıyla çizelgenin açık kalması zorunludur. Çözümleyici çizelge yöntemin ilk öncülü ise ∃x Fx’dir.