נתון ``אם ירד גשם אז הרחוב רטוב''. רשום את ההיפוך והסבר מדוע הוא שקול, ומדוע היפוך המסקנה אינו שקול.
נסמן =``ירד גשם'', =``הרחוב רטוב''. המקור .
ההיפוך : ``אם הרחוב לא רטוב אז לא ירד גשם'' — נכון תמיד כשהמקור נכון, ולכן שקול.
היפוך המסקנה : ``אם הרחוב רטוב אז ירד גשם'' — לא בהכרח (אולי שטפו מכונית), ולכן .
מסקנה: הוכחת בהיפוך = הוכחת במקומו.