「この三十五歳以上は背腸であるかまたは第二次大戦であるということはない」ということは間違いであるならあの株主優待は見渡せる
fact1: 「「背腸であるか第二次大戦でないかまたはどちらもである」ということは間違いである」物があるとするとあの株主優待は見渡せる fact2: もしも「あの株主優待は見渡せるかあるいは背腸であるかまたはどちらもだ」ということは事実でないならばこの三十五歳以上は第二次大戦だ fact3: もしもこの三十五歳以上が背腸であるかもしくは第二次大戦でないかあるいはどちらもであるとしたらあの株主優待は見渡せる fact4: もし仮に「「この三十五歳以上は見渡せるかまたは背腸であるか両方ともだ」ということは確かでない」ということは正しいとしたらあの株主優待は第二次大戦である fact5: あの株主優待は第二次大戦である fact6: あの原作者は第二次大戦である fact7: なにがしかの物が背腸であるかあるいは第二次大戦でないかどちらもであるならあの株主優待は見渡せる fact8: あの株主優待は忍耐強くないとすれば「それは見渡せるし顧客である」ということは間違っている
void -> assump1: 以下のように仮定する。「この三十五歳以上は背腸であるかもしくはそれは第二次大戦でない」ということは誤りである; assump1 -> int1: 「「背腸であるかあるいは第二次大戦でないかまたは両方ともだ」ということは成り立たない」物はある; int1 & fact1 -> int2: あの株主優待は見渡せる; [assump1] & int2 -> hypothesis;
この世界史は第二次大戦である
$facts$ = fact1: 「「背腸であるか第二次大戦でないかまたはどちらもである」ということは間違いである」物があるとするとあの株主優待は見渡せる fact2: もしも「あの株主優待は見渡せるかあるいは背腸であるかまたはどちらもだ」ということは事実でないならばこの三十五歳以上は第二次大戦だ fact3: もしもこの三十五歳以上が背腸であるかもしくは第二次大戦でないかあるいはどちらもであるとしたらあの株主優待は見渡せる fact4: もし仮に「「この三十五歳以上は見渡せるかまたは背腸であるか両方ともだ」ということは確かでない」ということは正しいとしたらあの株主優待は第二次大戦である fact5: あの株主優待は第二次大戦である fact6: あの原作者は第二次大戦である fact7: なにがしかの物が背腸であるかあるいは第二次大戦でないかどちらもであるならあの株主優待は見渡せる fact8: あの株主優待は忍耐強くないとすれば「それは見渡せるし顧客である」ということは間違っている ; $hypothesis$ = 「この三十五歳以上は背腸であるかまたは第二次大戦であるということはない」ということは間違いであるならあの株主優待は見渡せる ; $proof$ = 
void -> assump1: 以下のように仮定する。「この三十五歳以上は背腸であるかもしくはそれは第二次大戦でない」ということは誤りである; assump1 -> int1: 「「背腸であるかあるいは第二次大戦でないかまたは両方ともだ」ということは成り立たない」物はある; int1 & fact1 -> int2: あの株主優待は見渡せる; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「「背腸であるか第二次大戦でないかまたはどちらもである」ということは間違いである」物があるとするとあの株主優待は見渡せる
事実2: もしも「あの株主優待は見渡せるかあるいは背腸であるかまたはどちらもだ」ということは事実でないならばこの三十五歳以上は第二次大戦だ
事実3: もしもこの三十五歳以上が背腸であるかもしくは第二次大戦でないかあるいはどちらもであるとしたらあの株主優待は見渡せる
事実4: もし仮に「「この三十五歳以上は見渡せるかまたは背腸であるか両方ともだ」ということは確かでない」ということは正しいとしたらあの株主優待は第二次大戦である
事実5: あの株主優待は第二次大戦である
事実6: あの原作者は第二次大戦である
事実7: なにがしかの物が背腸であるかあるいは第二次大戦でないかどちらもであるならあの株主優待は見渡せる
事実8: あの株主優待は忍耐強くないとすれば「それは見渡せるし顧客である」ということは間違っている

仮説: 「この三十五歳以上は背腸であるかまたは第二次大戦であるということはない」ということは間違いであるならあの株主優待は見渡せる
1. 仮定1: 以下のように仮定する。「この三十五歳以上は背腸であるかもしくはそれは第二次大戦でない」ということは誤りである
2. 仮定1から、推論1: "「「背腸であるかあるいは第二次大戦でないかまたは両方ともだ」ということは成り立たない」物はある"が導かれる
3. 推論1と事実1から、推論2: "あの株主優待は見渡せる"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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