この別所はちょろいとしたら「その日本史はしおらしい」ということは確かだ
fact1: もし仮にこの登録等が答え合わせでないならそのＳＥＣ蛋白質は答え合わせだということはない fact2: もし仮になにかは改装するならそれは止めど無い fact3: 「「ひょろ長くないかもしくは扱き使うかもしくは両方ともだ」ということは成り立つということはない」ものはある fact4: もし仮にそのＳＥＣ蛋白質が答え合わせでないとしたらあの常磐子は答え合わせである fact5: もし仮にとある物は地獄・極楽であるとすれば答え合わせである fact6: 「この登録等はちょろい」ということは誤りでない fact7: 仮にとあるものは恥骨であるとしたら地獄・極楽だ fact8: 「「しおらしいということはないかまたは答え合わせであるかもしくはどちらもだ」ということは誤りである」ものはある fact9: 仮になにかは地獄・極楽ならこの告訴権はちょろいかもしくは地獄・極楽であるか両方ともである fact10: 「ひょろ長くないかあるいは扱き使うかまたはどちらもな」物はある fact11: 仮に「この別所はしおらしい」ということは確かであるとすればその日本史は恥骨だ fact12: 「このプログラム規定は取れ難い」ということは確かである fact13: もし仮にこのプログラム規定は取れ難いとすれば「吸収され難い」ということは誤っていない fact14: 「ちょろい」物はある fact15: 仮にそのＳＥＣ蛋白質が召還するとすればこの登録等は答え合わせである fact16: もし仮になにがしかの物が地獄・極楽であるし加えてちょろいならその日本史はしおらしい fact17: もし仮にその日本史は地獄・極楽だとすれば「この別所は恥骨でなくてその上召還しない」ということは成り立たない fact18: もしも「なんらかのものは止めど無い」ということは本当であるなら「それがしおらしいということはないしさらにそれは眼球だ」ということは間違っている fact19: もしこの登録等が答え合わせならこの別所は恥骨である fact20: もしもこのプログラム規定が吸収され難いとしたらそれは改装する fact21: もし仮に「「このプログラム規定はしおらしくない眼球である」ということは正しい」ということは事実と異なるならその保護剤軟膏は地獄・極楽である fact22: なんらかのものはひょろ長い fact23: 「地獄・極楽な」ものはある fact24: もし仮に「「ひょろ長くないかまたは扱き使うかまたは両方だ」ということは事実だということはない」ものがあるならそのＳＥＣ蛋白質は召還する fact25: 「「しおらしいということはないか召還するかあるいは両方ともである」ということは確かでない」ものはある fact26: 仮に「「「ひょろ長いか扱き使うかもしくはどちらもだ」ということは成り立たない」ものはある」ということは確かであるならそのＳＥＣ蛋白質は召還する
fact3 & fact24 -> int1: そのＳＥＣ蛋白質は召還する; int1 & fact15 -> int2: この登録等は答え合わせである; int2 & fact19 -> int3: この別所は恥骨である; fact7 -> int4: 「もし「この別所は恥骨だ」ということは成り立つとしたらこの別所は地獄・極楽だ」ということは確かだ; int3 & int4 -> int5: この別所は地獄・極楽だ; void -> assump1: 以下のように仮定する。この別所はちょろい; int5 & assump1 -> int6: この別所は地獄・極楽であるししかもちょろい; int6 -> int7: 何らかのものは地獄・極楽であるしちょろい; int7 & fact16 -> int8: その日本史はしおらしい; [assump1] & int8 -> hypothesis;
あの常磐子は答え合わせである
fact34 -> int9: もし仮にこのプログラム規定は止めど無いとすれば「それがしおらしいということはないしその上それは眼球である」ということは間違っている; fact30 -> int10: もしこのプログラム規定が改装するとしたらそれは止めど無い; fact29 & fact36 -> int11: このプログラム規定は吸収され難い; fact32 & int11 -> int12: このプログラム規定は改装する; int10 & int12 -> int13: このプログラム規定は止めど無い; int9 & int13 -> int14: 「このプログラム規定はしおらしくないけどそれは眼球である」ということは事実と異なる; fact27 & int14 -> int15: その保護剤軟膏は地獄・極楽である; int15 -> int16: 「「地獄・極楽である」ということは真実な」物はある; int16 & fact33 -> int17: この告訴権はちょろいかまたはそれは地獄・極楽であるかどちらもである;
$facts$ = fact1: もし仮にこの登録等が答え合わせでないならそのＳＥＣ蛋白質は答え合わせだということはない fact2: もし仮になにかは改装するならそれは止めど無い fact3: 「「ひょろ長くないかもしくは扱き使うかもしくは両方ともだ」ということは成り立つということはない」ものはある fact4: もし仮にそのＳＥＣ蛋白質が答え合わせでないとしたらあの常磐子は答え合わせである fact5: もし仮にとある物は地獄・極楽であるとすれば答え合わせである fact6: 「この登録等はちょろい」ということは誤りでない fact7: 仮にとあるものは恥骨であるとしたら地獄・極楽だ fact8: 「「しおらしいということはないかまたは答え合わせであるかもしくはどちらもだ」ということは誤りである」ものはある fact9: 仮になにかは地獄・極楽ならこの告訴権はちょろいかもしくは地獄・極楽であるか両方ともである fact10: 「ひょろ長くないかあるいは扱き使うかまたはどちらもな」物はある fact11: 仮に「この別所はしおらしい」ということは確かであるとすればその日本史は恥骨だ fact12: 「このプログラム規定は取れ難い」ということは確かである fact13: もし仮にこのプログラム規定は取れ難いとすれば「吸収され難い」ということは誤っていない fact14: 「ちょろい」物はある fact15: 仮にそのＳＥＣ蛋白質が召還するとすればこの登録等は答え合わせである fact16: もし仮になにがしかの物が地獄・極楽であるし加えてちょろいならその日本史はしおらしい fact17: もし仮にその日本史は地獄・極楽だとすれば「この別所は恥骨でなくてその上召還しない」ということは成り立たない fact18: もしも「なんらかのものは止めど無い」ということは本当であるなら「それがしおらしいということはないしさらにそれは眼球だ」ということは間違っている fact19: もしこの登録等が答え合わせならこの別所は恥骨である fact20: もしもこのプログラム規定が吸収され難いとしたらそれは改装する fact21: もし仮に「「このプログラム規定はしおらしくない眼球である」ということは正しい」ということは事実と異なるならその保護剤軟膏は地獄・極楽である fact22: なんらかのものはひょろ長い fact23: 「地獄・極楽な」ものはある fact24: もし仮に「「ひょろ長くないかまたは扱き使うかまたは両方だ」ということは事実だということはない」ものがあるならそのＳＥＣ蛋白質は召還する fact25: 「「しおらしいということはないか召還するかあるいは両方ともである」ということは確かでない」ものはある fact26: 仮に「「「ひょろ長いか扱き使うかもしくはどちらもだ」ということは成り立たない」ものはある」ということは確かであるならそのＳＥＣ蛋白質は召還する ; $hypothesis$ = この別所はちょろいとしたら「その日本史はしおらしい」ということは確かだ ; $proof$ = 
fact3 & fact24 -> int1: そのＳＥＣ蛋白質は召還する; int1 & fact15 -> int2: この登録等は答え合わせである; int2 & fact19 -> int3: この別所は恥骨である; fact7 -> int4: 「もし「この別所は恥骨だ」ということは成り立つとしたらこの別所は地獄・極楽だ」ということは確かだ; int3 & int4 -> int5: この別所は地獄・極楽だ; void -> assump1: 以下のように仮定する。この別所はちょろい; int5 & assump1 -> int6: この別所は地獄・極楽であるししかもちょろい; int6 -> int7: 何らかのものは地獄・極楽であるしちょろい; int7 & fact16 -> int8: その日本史はしおらしい; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮にこの登録等が答え合わせでないならそのＳＥＣ蛋白質は答え合わせだということはない
事実2: もし仮になにかは改装するならそれは止めど無い
事実3: 「「ひょろ長くないかもしくは扱き使うかもしくは両方ともだ」ということは成り立つということはない」ものはある
事実4: もし仮にそのＳＥＣ蛋白質が答え合わせでないとしたらあの常磐子は答え合わせである
事実5: もし仮にとある物は地獄・極楽であるとすれば答え合わせである
事実6: 「この登録等はちょろい」ということは誤りでない
事実7: 仮にとあるものは恥骨であるとしたら地獄・極楽だ
事実8: 「「しおらしいということはないかまたは答え合わせであるかもしくはどちらもだ」ということは誤りである」ものはある
事実9: 仮になにかは地獄・極楽ならこの告訴権はちょろいかもしくは地獄・極楽であるか両方ともである
事実10: 「ひょろ長くないかあるいは扱き使うかまたはどちらもな」物はある
事実11: 仮に「この別所はしおらしい」ということは確かであるとすればその日本史は恥骨だ
事実12: 「このプログラム規定は取れ難い」ということは確かである
事実13: もし仮にこのプログラム規定は取れ難いとすれば「吸収され難い」ということは誤っていない
事実14: 「ちょろい」物はある
事実15: 仮にそのＳＥＣ蛋白質が召還するとすればこの登録等は答え合わせである
事実16: もし仮になにがしかの物が地獄・極楽であるし加えてちょろいならその日本史はしおらしい
事実17: もし仮にその日本史は地獄・極楽だとすれば「この別所は恥骨でなくてその上召還しない」ということは成り立たない
事実18: もしも「なんらかのものは止めど無い」ということは本当であるなら「それがしおらしいということはないしさらにそれは眼球だ」ということは間違っている
事実19: もしこの登録等が答え合わせならこの別所は恥骨である
事実20: もしもこのプログラム規定が吸収され難いとしたらそれは改装する
事実21: もし仮に「「このプログラム規定はしおらしくない眼球である」ということは正しい」ということは事実と異なるならその保護剤軟膏は地獄・極楽である
事実22: なんらかのものはひょろ長い
事実23: 「地獄・極楽な」ものはある
事実24: もし仮に「「ひょろ長くないかまたは扱き使うかまたは両方だ」ということは事実だということはない」ものがあるならそのＳＥＣ蛋白質は召還する
事実25: 「「しおらしいということはないか召還するかあるいは両方ともである」ということは確かでない」ものはある
事実26: 仮に「「「ひょろ長いか扱き使うかもしくはどちらもだ」ということは成り立たない」ものはある」ということは確かであるならそのＳＥＣ蛋白質は召還する

仮説: この別所はちょろいとしたら「その日本史はしおらしい」ということは確かだ
1. 事実3と事実24から、推論1: "そのＳＥＣ蛋白質は召還する"が導かれる
2. 推論1と事実15から、推論2: "この登録等は答え合わせである"が導かれる
3. 推論2と事実19から、推論3: "この別所は恥骨である"が導かれる
4. 事実7から、推論4: "「もし「この別所は恥骨だ」ということは成り立つとしたらこの別所は地獄・極楽だ」ということは確かだ"が導かれる
5. 推論3と推論4から、推論5: "この別所は地獄・極楽だ"が導かれる
6. 仮定1: 以下のように仮定する。この別所はちょろい
7. 推論5と仮定1から、推論6: "この別所は地獄・極楽であるししかもちょろい"が導かれる
8. 推論6から、推論7: "何らかのものは地獄・極楽であるしちょろい"が導かれる
9. 推論7と事実16から、推論8: "その日本史はしおらしい"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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