もし仮にあの第十二項は作業台等であるとしたら「このリース権は攀じるということはないがそれはＧＩレである」ということは嘘だ
fact1: もしもあの第十二項は無意味さだとすれば「このリース権は攀じるしＧＩレである」ということは成り立たない fact2: あの第十二項は無意味さだとしたら「このリース権は攀じないがＧＩレだ」ということは成り立たない fact3: もし「このリース権は作業台等である」ということは本当だとしたらあの第十二項は無意味さでないけれどそれは攀じる fact4: あの第十二項が無意味さであるとしたらこのリース権は攀じないがしかしＧＩレである fact5: もし仮にあの第十二項は作業台等であるとすれば「このリース権は攀じるしかつそれはＧＩレだ」ということは成り立たない fact6: もしもあの第十二項はＧＩレだとしたら「このリース権は作業台等であるということはないけど無意味さである」ということは偽だ fact7: もしもこのリース権は無意味さならば「あの第十二項は攀じるしかつＧＩレである」ということは嘘である fact8: 仮にあの第十二項は作業台等であるとすると「無意味さだ」ということは偽でない fact9: このリース権は無意味さでないけどそれはＧＩレである fact10: 何かは作業台等でないとするとＧＩレだ fact11: このリース権は攀じるということはないがしかしそれはＧＩレである
void -> assump1: 以下のように仮定する。あの第十二項は作業台等である; fact8 & assump1 -> int1: あの第十二項は無意味さである; int1 & fact2 -> int2: 「このリース権は攀じるということはないけれどそれはＧＩレである」ということは嘘である; [assump1] & int2 -> hypothesis;
あのζ関数はＧＩレである
fact12 -> int3: もし仮にあのζ関数は作業台等でないとしたらそれはＧＩレだ;
$facts$ = fact1: もしもあの第十二項は無意味さだとすれば「このリース権は攀じるしＧＩレである」ということは成り立たない fact2: あの第十二項は無意味さだとしたら「このリース権は攀じないがＧＩレだ」ということは成り立たない fact3: もし「このリース権は作業台等である」ということは本当だとしたらあの第十二項は無意味さでないけれどそれは攀じる fact4: あの第十二項が無意味さであるとしたらこのリース権は攀じないがしかしＧＩレである fact5: もし仮にあの第十二項は作業台等であるとすれば「このリース権は攀じるしかつそれはＧＩレだ」ということは成り立たない fact6: もしもあの第十二項はＧＩレだとしたら「このリース権は作業台等であるということはないけど無意味さである」ということは偽だ fact7: もしもこのリース権は無意味さならば「あの第十二項は攀じるしかつＧＩレである」ということは嘘である fact8: 仮にあの第十二項は作業台等であるとすると「無意味さだ」ということは偽でない fact9: このリース権は無意味さでないけどそれはＧＩレである fact10: 何かは作業台等でないとするとＧＩレだ fact11: このリース権は攀じるということはないがしかしそれはＧＩレである ; $hypothesis$ = もし仮にあの第十二項は作業台等であるとしたら「このリース権は攀じるということはないがそれはＧＩレである」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの第十二項は作業台等である; fact8 & assump1 -> int1: あの第十二項は無意味さである; int1 & fact2 -> int2: 「このリース権は攀じるということはないけれどそれはＧＩレである」ということは嘘である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもあの第十二項は無意味さだとすれば「このリース権は攀じるしＧＩレである」ということは成り立たない
事実2: あの第十二項は無意味さだとしたら「このリース権は攀じないがＧＩレだ」ということは成り立たない
事実3: もし「このリース権は作業台等である」ということは本当だとしたらあの第十二項は無意味さでないけれどそれは攀じる
事実4: あの第十二項が無意味さであるとしたらこのリース権は攀じないがしかしＧＩレである
事実5: もし仮にあの第十二項は作業台等であるとすれば「このリース権は攀じるしかつそれはＧＩレだ」ということは成り立たない
事実6: もしもあの第十二項はＧＩレだとしたら「このリース権は作業台等であるということはないけど無意味さである」ということは偽だ
事実7: もしもこのリース権は無意味さならば「あの第十二項は攀じるしかつＧＩレである」ということは嘘である
事実8: 仮にあの第十二項は作業台等であるとすると「無意味さだ」ということは偽でない
事実9: このリース権は無意味さでないけどそれはＧＩレである
事実10: 何かは作業台等でないとするとＧＩレだ
事実11: このリース権は攀じるということはないがしかしそれはＧＩレである

仮説: もし仮にあの第十二項は作業台等であるとしたら「このリース権は攀じるということはないがそれはＧＩレである」ということは嘘だ
1. 仮定1: 以下のように仮定する。あの第十二項は作業台等である
2. 事実8と仮定1から、推論1: "あの第十二項は無意味さである"が導かれる
3. 推論1と事実2から、推論2: "「このリース権は攀じるということはないけれどそれはＧＩレである」ということは嘘である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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