Soru: Dört kişi (P, Q, R, S) bir yarışmada farklı sıralarda (1., 2., 3., 4.) bitirmiştir. Aşağıdaki ifadelerden üçü doğru, biri yanlıştır. Hangi ifade yanlıştır?
Çözüm: Üç doğru bir yanlış ifade var. Her birini test edelim. Varsayalım 'P, 1. değildir' yanlış olsun, o zaman P 1.'dir. Diğer üçü doğru: Q 2. değil, R 3. değil, S 4. değil. O halde Q 1, 3 veya 4 olabilir ama 1 P, o yüzden Q 3 veya 4. R 1, 2 veya 4 olabilir ama 1 P, o yüzden R 2 veya 4. S 1, 2 veya 3 olabilir ama 1 P, o yüzden S 2 veya 3. Sıraları yerleştirelim: P=1. Kalan sıralar 2,3,4. Q 2 değilse, Q=3 veya 4. R 3 değilse, R=2 veya 4. S 4 değilse, S=2 veya 3. Tutarlı bir dağılım bulalım: Eğer Q=3, R=2, S=4 olursa, S 4 değil koşulu çelişir (S=4 ama S 4 değil denmiş). Eğer Q=4, R=2, S=3 olursa, tüm koşullar sağlanır: P=1 (yanlış ifade), Q=4 (Q 2 değil doğru), R=2 (R 3 değil doğru), S=3 (S 4 değil doğru). Bu mümkün. Diğer ifadeleri de test edebiliriz, ama bu seçenekte çözüm bulundu. Yanlış ifade: 'P, 1. değildir.'
