הוכחות מופרכות

שלום. כאן אני אוכיח לכם כל מיני משפטים.

נתחיל מהבסיס: דברים מתחרזים שווים.

1) α = β
נימוק: נתון.
2) אלפא = בטא.
נימוק: הפיכה לאותיות. 1.
3) אלפא ובטא מתחרזות.
נימוק: כלל החירוז.
מכאן נובע ש...
4) מילים מתחרזות שוות
נימוק: 3, 1.
מש"ל

ואחרי שהוכחנו על אותיות זה נכון לגבי כולם.

עכשיו נוכיח שקפה הוא יפה.

1) קפה = יפה
נימוק: דברים מתחרזים שווים.
מש"ל.

זאת הייתה הוכחה קלה. כעת בואו נוכיח שאני גדול מאתה.

1) אתה = פיתה
נימוק: דברים מתחרזים שווים.
2) פיתה = טיפש
נימוק: אלין מהאח הגדול 2
3) אתה = טיפש
נימוק: כלל המעבר 1, 2
4) אני = יווני
נימוק: דברים מתחרזים שווים.
5) יווני = α
נימוק: פירוט
6) α = שליטה
נימוק: פירוט.
7) אני = שליטה
נימוק: כלל המעבר 4, 5, 6.
8) שליטה > טיפש
נימוק: כלל השליטה והטיפשים.
9) אני > אתה
נימוק: הצבה 3, 7
מש"ל

וכעת בואו נשתמש במשפט הזה בשביל להוכיח שאני צ'אק נוריס

1) אני = שליטה
נימוק: כלל האני השולט (ניתן למצוא את ההוכחה בהוכחה הקודמת בסעיפים 4, 5, 6).
2) צ'אק נוריס = שליטה
נימוק: צ'אק נוריס לא צריך לנמק.
3) אני = צ'אק נוריס > אתה
נימוק: כלל המעבר 1,2 + כלל אני גדול מאתה.

וכעת הבה נוכיח שאני אל.

1) צ'אק נוריס = אל
נימוק: פירוט.
2) אני = צ'אק נוריס
נימוק: כלל צ'אק נוריס ואני
3) אני = אל
נימוק: כלל המעבר 1, 2

וכעת נוכיח שהאל גדול מהאדם הפשוט.

1) אני > אתה
נימוק: כלל האני והאתה.
2) אני = אל
נימוק: כלל שהוכח.
3) אל > אתה
נימוק: הצבת 2 ב - 1.
4) אתה = אדם פשוט
נימוק: אקסיומה.

וכעת הבה נוכיח שאני אלפחורס

1) אני = חתיך הורס
נימוק: פירוט.
2) חתיך הורס = אלפחורס
נימוק: דברים מתחרזים שווים
3) אני = אלפחורס
נימוק: כלל המעבר 1, 2

ועכשיו בואו נוכיח שאני גדול מאל יווני.

1) אל יווני = זאוס
נימוק: פירוט.
2) זאוס = כוס
נימוק: דברים מתחרזים שווים.
3) כוס = אביזר לשתייה
נימוק: פירוט.
4) אביזר לשתייה = עוגייה
נימוק: דברים מתחרזים שווים.
5) אלפחורס > עוגייה
נימוק: אקסיומה.
6) אני = אלפחורס
נימוק: משפט מפורסם בהנדסה.
7) אני > עוגייה
נימוק: הצבת 6 ב - 5.
8) אני > אל יווני
נימוק: הצבת 1 ב 7.

ולבסוף (אלא אם כן תרצו המשך) הנה ההוכחה שאני אל האלים

1) אל יווני = אל
נימוק: אנטי-פירוט
2) אני > אל
נימוק: אני גדול מאל יווני
3) אל האלים > אל
נימוק: המלך של משהו תמיד גדול מהמשהו.
4) אני = אל האלים
נימוק: אני יודע שזה לא בהכרח נכון אבל למי אכפת? אני אמרתי ככה.