קח בערבון מוגבל :-)אם p שקרי:
- אגף שמאל true בלי תלות בהצבות של q, r, s.
- אגף ימין אז הסוגריים העמוקים ביותר מקבלים true ואז נוצרת לך בעצם גרירה
של true גורר r שכל זה גורר s. כלומר אם תמצא הצבות של r ו-s שיהפכו את
הגרירות (ואת אגף ימין כולו) ל-false הצלחת להוכיח חוסר שקילות.