「このフォルダウィンドウは戸惑わないかもしくは溢れ返るということはないか両方ともだ」ということは間違いである
fact1: 仮に何かは天麩羅屋でないならば「それは溢れ返るが捕らえ難くない」ということは誤っている fact2: 捕らえ難いものはある fact3: このフォルダウィンドウは溢れ返る fact4: その給与収入は捕らえ難い fact5: もしも「あるものは溢れ返るけれど捕らえ難くない」ということは誤りならばそれは溢れ返らない fact6: その給与収入は天麩羅屋だ fact7: もしあの十七年後が折るとするとこのフォルダウィンドウは溢れ返る fact8: その給与収入は折る fact9: 「天麩羅屋な」ものはある fact10: もし捕らえ難いものが天麩羅屋であるとしたらあの十七年後は折る fact11: もし仮に「なにがしかのものは天麩羅屋であるけどそれは訓示規定でない」ということは成り立たないならばそれは天麩羅屋でない fact12: もしも「あの十七年後は折る」ということは事実であるなら「このフォルダウィンドウは戸惑わないかまたは溢れ返らないかあるいはどちらもである」ということは誤っている
fact4 & fact6 -> int1: その給与収入は捕らえ難いししかも天麩羅屋である; int1 -> int2: 「「捕らえ難いし加えて天麩羅屋だ」ということは本当な」ものはある; int2 & fact10 -> int3: あの十七年後は折る; int3 & fact12 -> hypothesis;
このフォルダウィンドウは戸惑うということはないかあるいはそれは溢れ返らない
fact14 -> int4: もし「このフォルダウィンドウは溢れ返るけど捕らえ難くない」ということは間違っているとすると「それは溢れ返るということはない」ということは正しい; fact16 -> int5: 「もしもこのフォルダウィンドウは天麩羅屋でないなら「このフォルダウィンドウは溢れ返るが捕らえ難くない」ということは事実と異なる」ということは正しい; fact15 -> int6: もし仮に「このフォルダウィンドウは天麩羅屋だが訓示規定でない」ということは嘘であるとすると天麩羅屋でない; fact13 -> int7: 「折る」物はある;
$facts$ = fact1: 仮に何かは天麩羅屋でないならば「それは溢れ返るが捕らえ難くない」ということは誤っている fact2: 捕らえ難いものはある fact3: このフォルダウィンドウは溢れ返る fact4: その給与収入は捕らえ難い fact5: もしも「あるものは溢れ返るけれど捕らえ難くない」ということは誤りならばそれは溢れ返らない fact6: その給与収入は天麩羅屋だ fact7: もしあの十七年後が折るとするとこのフォルダウィンドウは溢れ返る fact8: その給与収入は折る fact9: 「天麩羅屋な」ものはある fact10: もし捕らえ難いものが天麩羅屋であるとしたらあの十七年後は折る fact11: もし仮に「なにがしかのものは天麩羅屋であるけどそれは訓示規定でない」ということは成り立たないならばそれは天麩羅屋でない fact12: もしも「あの十七年後は折る」ということは事実であるなら「このフォルダウィンドウは戸惑わないかまたは溢れ返らないかあるいはどちらもである」ということは誤っている ; $hypothesis$ = 「このフォルダウィンドウは戸惑わないかもしくは溢れ返るということはないか両方ともだ」ということは間違いである ; $proof$ = 
fact4 & fact6 -> int1: その給与収入は捕らえ難いししかも天麩羅屋である; int1 -> int2: 「「捕らえ難いし加えて天麩羅屋だ」ということは本当な」ものはある; int2 & fact10 -> int3: あの十七年後は折る; int3 & fact12 -> hypothesis; __PROVED__
事実1: 仮に何かは天麩羅屋でないならば「それは溢れ返るが捕らえ難くない」ということは誤っている
事実2: 捕らえ難いものはある
事実3: このフォルダウィンドウは溢れ返る
事実4: その給与収入は捕らえ難い
事実5: もしも「あるものは溢れ返るけれど捕らえ難くない」ということは誤りならばそれは溢れ返らない
事実6: その給与収入は天麩羅屋だ
事実7: もしあの十七年後が折るとするとこのフォルダウィンドウは溢れ返る
事実8: その給与収入は折る
事実9: 「天麩羅屋な」ものはある
事実10: もし捕らえ難いものが天麩羅屋であるとしたらあの十七年後は折る
事実11: もし仮に「なにがしかのものは天麩羅屋であるけどそれは訓示規定でない」ということは成り立たないならばそれは天麩羅屋でない
事実12: もしも「あの十七年後は折る」ということは事実であるなら「このフォルダウィンドウは戸惑わないかまたは溢れ返らないかあるいはどちらもである」ということは誤っている

仮説: 「このフォルダウィンドウは戸惑わないかもしくは溢れ返るということはないか両方ともだ」ということは間違いである
1. 事実4と事実6から、推論1: "その給与収入は捕らえ難いししかも天麩羅屋である"が導かれる
2. 推論1から、推論2: "「「捕らえ難いし加えて天麩羅屋だ」ということは本当な」ものはある"が導かれる
3. 推論2と事実10から、推論3: "あの十七年後は折る"が導かれる
4. 推論3と事実12から、仮説が導かれる

よって、仮説が証明されました。