Karşı model oluştururken izlenmesi gereken adımlar şunlardır: (a) Sonlu bir S kümesi seçmek,
(b) Çıkarımı oluşturan tüm önermelerin A kümesindeki bir doğrusal açılımını oluşturmak, (c) Elde edilen ifadede, bileşenlere öncülleri doğru, sonuç önermesini yanlış yapacak şekilde doğruluk değeri vermeye çalışmak, (d) Elde edilen doğruluk değerlemesine göre, ad sembollerine karşılık gelecek elemanları ve yüklemlerin kaplamlarını belirlemek. Buna göre, doğru yanıt C seçeneğidir.