Муҳокимаи зерин дода шудааст: "Агар ин ҷиноятро Абдуллоев содир карда бошад, пас ў дар куҷо будани ашёи дўздишударо медонад. Абдуллоев медонад, ки пулҳои дўздишуда дар куҷо пинҳон карда шудааст, аммо ҷои пинҳони ашёи дуздишударо намедонад. Дар ҳамон лаҳзае, ки ҷиноят содир шуд, Абдуллоевро дар ҷои ҷиноят дидаанд. Пас, Абдуллоев ҷинояти мазкурро содир накардааст". "Ин ҷиноятро Абдуллоев содир кардааст", "Абдуллоев дар куҷо пинҳон кардани ашёи дўздишударо медонад", "Абдуллоев медонад, ки пулҳои дўздишуда дар куҷо пинҳон аст", "Абдуллоевро дар ҳамон лаҳзае, ки ҷиноят содир шуд, дар ҷои ҷиноят дидаанд") – ро мувофиқан бо тағйирёбандаҳои гуфтории p, q, r, s ифода менамоем. Акнун муқаддимаҳо ва натиҷаро тавассути забони рамзҳо навишта ҳосил мекунем: p→q, rℸq,s (муқаддиамаҳо) ва ℸр (натиҷа).
Пас, муҳокима намуди зеринро мегирад: р→q, r→ℸq, sℸp (давом диҳед).