ប្រយោគខាងក្រោមត្រូវបានគេស្គាល់ថាជា "អ្នកផឹកមិនសមហេតុផល"៖ "មាននរណាម្នាក់នៅក្នុងបារ ដូច្នេះប្រសិនបើគាត់ផឹក មនុស្សគ្រប់គ្នានៅក្នុងបារផឹក" ។ វាមិនសំខាន់ទេថាតើមនុស្សម្នាក់លើកទឹកចិត្តអ្នកផ្សេងទៀតឱ្យផឹកឬថាតើមានទ្វារខាងក្រោយផ្សេងទៀតដូចដែលយើងនឹងឃើញក្នុងពេលឆាប់ៗនេះទេ។ វាគឺជាឧទាហរណ៍ដ៏ល្អមួយពីតក្កវិជ្ជាទស្សនវិជ្ជាគណិតវិទ្យា។
យើងចាប់ផ្តើមដោយបញ្ជាក់ថា គ្រប់គ្នាក្នុងហាងផឹកស៊ី ឬយ៉ាងហោចណាស់មនុស្សម្នាក់ក្នុងហាងស្រាមិនផឹកទេ។ ដូច្នេះ ការបែងចែកករណីខាងក្រោមគឺសមរម្យ:
- មនុស្សគ្រប់គ្នាផឹក។ បន្ទាប់មកប្រសិនបើនរណាម្នាក់ផឹកស្រានៅក្នុងបារនោះអ្នកគ្រប់គ្នានៅក្នុងបារផឹក - ដោយសារតែមនុស្សគ្រប់គ្នាផឹក។
- យ៉ាងហោចណាស់មនុស្សម្នាក់មិនផឹក។ សម្រាប់អ្នកមិនពិសាស្រានោះ វាជាការពិតដែលថាប្រសិនបើពួកគេផឹក អ្នករាល់គ្នានៅក្នុងហាងគឺផឹកដោយសារមនុស្សនោះមិនផឹក ( \(A \Rightarrow B\) គឺតែងតែពិតនៅពេល \(A\) មិនពិត)។
ជាផ្លូវការ សម្រាប់ការព្យាករណ៍តាមអំពើចិត្ត \(D\) និងសំណុំមិនទទេ \(P\) ការកាត់ទោសអាចត្រូវបានតំណាងដូចខាងក្រោម:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$