あの構造研究は訳無い
fact1: もしもその胡蝶蘭が学者だがしかし立教野球部でないならあの構造研究は見分け難くない fact2: この静止画像は渡洋爆撃だ fact3: 仮にその政治的機能が確認し難くないならばあの胡蝶蘭は立教野球部でない fact4: あの構造研究は確認し難くない fact5: 「この静止画像は渡洋爆撃でないがしかしそれは代数的整数である」ということは確かでない fact6: もし仮にその胡蝶蘭が学者であるし加えて立教野球部だとしたらあの構造研究は見分け難くない fact7: 仮にその政治的機能が確認し難くないとしたらその胡蝶蘭は学者である一方で立教野球部でない fact8: なんらかのものは確認し難くないなら「それは渡洋爆撃であるしそれは代数的整数でない」ということは嘘だ fact9: もし「この静止画像は渡洋爆撃だということはなくて代数的整数だということはない」ということは間違っていれば「その政治的機能は確認し難いということはない」ということは間違いでない fact10: なんらかのものは見分け難いということはないとしたら「訳無い」ということは成り立つ
void -> assump1: 以下のように仮定する。この静止画像は渡洋爆撃でないしその上代数的整数でない; assump1 -> int1: この静止画像は渡洋爆撃でない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この静止画像は渡洋爆撃でなくて代数的整数でない」ということは嘘だ; int3 & fact9 -> int4: その政治的機能は確認し難くない; int4 & fact7 -> int5: その胡蝶蘭は学者だ一方でそれは立教野球部であるということはない; int5 & fact1 -> int6: あの構造研究は見分け難いということはない; fact10 -> int7: もし仮にあの構造研究が見分け難くないとすればそれは訳無い; int6 & int7 -> hypothesis;
「あの構造研究は訳無くない」ということは成り立つ
fact11 -> int8: もしこの静止画像は確認し難くないとすれば「それは渡洋爆撃であるが代数的整数であるということはない」ということは成り立たない;
$facts$ = fact1: もしもその胡蝶蘭が学者だがしかし立教野球部でないならあの構造研究は見分け難くない fact2: この静止画像は渡洋爆撃だ fact3: 仮にその政治的機能が確認し難くないならばあの胡蝶蘭は立教野球部でない fact4: あの構造研究は確認し難くない fact5: 「この静止画像は渡洋爆撃でないがしかしそれは代数的整数である」ということは確かでない fact6: もし仮にその胡蝶蘭が学者であるし加えて立教野球部だとしたらあの構造研究は見分け難くない fact7: 仮にその政治的機能が確認し難くないとしたらその胡蝶蘭は学者である一方で立教野球部でない fact8: なんらかのものは確認し難くないなら「それは渡洋爆撃であるしそれは代数的整数でない」ということは嘘だ fact9: もし「この静止画像は渡洋爆撃だということはなくて代数的整数だということはない」ということは間違っていれば「その政治的機能は確認し難いということはない」ということは間違いでない fact10: なんらかのものは見分け難いということはないとしたら「訳無い」ということは成り立つ ; $hypothesis$ = あの構造研究は訳無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この静止画像は渡洋爆撃でないしその上代数的整数でない; assump1 -> int1: この静止画像は渡洋爆撃でない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この静止画像は渡洋爆撃でなくて代数的整数でない」ということは嘘だ; int3 & fact9 -> int4: その政治的機能は確認し難くない; int4 & fact7 -> int5: その胡蝶蘭は学者だ一方でそれは立教野球部であるということはない; int5 & fact1 -> int6: あの構造研究は見分け難いということはない; fact10 -> int7: もし仮にあの構造研究が見分け難くないとすればそれは訳無い; int6 & int7 -> hypothesis; __PROVED__
事実1: もしもその胡蝶蘭が学者だがしかし立教野球部でないならあの構造研究は見分け難くない
事実2: この静止画像は渡洋爆撃だ
事実3: 仮にその政治的機能が確認し難くないならばあの胡蝶蘭は立教野球部でない
事実4: あの構造研究は確認し難くない
事実5: 「この静止画像は渡洋爆撃でないがしかしそれは代数的整数である」ということは確かでない
事実6: もし仮にその胡蝶蘭が学者であるし加えて立教野球部だとしたらあの構造研究は見分け難くない
事実7: 仮にその政治的機能が確認し難くないとしたらその胡蝶蘭は学者である一方で立教野球部でない
事実8: なんらかのものは確認し難くないなら「それは渡洋爆撃であるしそれは代数的整数でない」ということは嘘だ
事実9: もし「この静止画像は渡洋爆撃だということはなくて代数的整数だということはない」ということは間違っていれば「その政治的機能は確認し難いということはない」ということは間違いでない
事実10: なんらかのものは見分け難いということはないとしたら「訳無い」ということは成り立つ

仮説: あの構造研究は訳無い
1. 仮定1: 以下のように仮定する。この静止画像は渡洋爆撃でないしその上代数的整数でない
2. 仮定1から、推論1: "この静止画像は渡洋爆撃でない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この静止画像は渡洋爆撃でなくて代数的整数でない」ということは嘘だ"が導かれる
5. 推論3と事実9から、推論4: "その政治的機能は確認し難くない"が導かれる
6. 推論4と事実7から、推論5: "その胡蝶蘭は学者だ一方でそれは立教野球部であるということはない"が導かれる
7. 推論5と事実1から、推論6: "あの構造研究は見分け難いということはない"が導かれる
8. 事実10から、推論7: "もし仮にあの構造研究が見分け難くないとすればそれは訳無い"が導かれる
9. 推論6と推論7から、仮説が導かれる

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