この転変ははしたないし加えて空き室・明きフロアだ
fact1: もし仮に「その血清型は数値化しない」ということは確かであるとしたらこの転変は廓清でない fact2: もしも「あのＯＮは当たり外れであるがしかし植えるということはない」ということは成り立たないなら当たり外れでない fact3: もしも「創作する」ものはあるとすれば「その血清型は遣り難い一方で廓清でない」ということは成り立つということはない fact4: 「そのコンパクトサイズは商人らしくない」ということは真実ならばそれは平安時代後期だ fact5: あらゆるものは空き室・明きフロアだ fact6: 仮に「その血清型は数値化しない」ということは事実ならば「その意味連関は廓清でないし遣り難くない」ということは成り立たない fact7: もしも「なにかは廓清でないし遣り難くない」ということは間違いなら答え難くない fact8: 仮にはしたない物が創作しないとしたらその血清型は数値化しない fact9: もしもとある物が数値化するということはないとしたらはしたない fact10: 「危なっかしい」物はある fact11: もしなにがしかのものが修業中でないとすればそれは騎乗であるがしかし教え導かない fact12: もしもあるものは答え難くないなら「はしたないし空き室・明きフロアである」ということは間違っている fact13: あのＯＮは肺門でないとすると「それは当たり外れであるしそれは植えない」ということは偽だ fact14: あのＯＮは肺門だということはない fact15: その病院機能評価が平安時代後期でないならばこの転変は数値化しない fact16: とあるものが当たり外れでないとすれば伴い易い fact17: 答え難くない物は遣り難いけど廓清でない fact18: もし仮に「「平安時代後期でないかあるいは格好悪くないか両方ともである」ということは偽である」物があるならその血清型は答え難くない fact19: 答え難くない物は作り直さないか空き室・明きフロアでないかもしくは両方ともだ fact20: 「創作する」ものはある fact21: 「その病院機能評価は格好悪くない」ということは確かであるならばこの転変は数値化しない
void -> assump1: 以下のように仮定する。「その病院機能評価は平安時代後期でないかまたは格好悪くないかあるいは両方だ」ということは誤っている; assump1 -> int1: 「「「平安時代後期でないかまたは格好悪くない」ということは正しい」ということは成り立たない」物はある; int1 & fact18 -> int2: その血清型は答え難くない; fact17 -> int3: その血清型が答え難くないとしたらそれは遣り難くてそれは廓清でない; int2 & int3 -> int4: その血清型は遣り難いがしかし廓清でない; fact3 & fact20 -> int5: 「その血清型は遣り難いけれど廓清でない」ということは成り立つということはない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その病院機能評価は平安時代後期でないか格好悪いということはない; int7 & fact15 & fact21 -> int8: この転変は数値化しない; fact9 -> int9: もしこの転変は数値化しないとしたら「はしたない」ということは真実である; int8 & int9 -> int10: この転変ははしたない; fact5 -> int11: 「この転変は空き室・明きフロアだ」ということは事実と異ならない; int10 & int11 -> hypothesis;
「その意味連関は作り直さないかまたは空き室・明きフロアでないかあるいは両方だ」ということは本当である
fact27 -> int12: もしもその意味連関が答え難くないとするとそれは作り直さないかあるいは空き室・明きフロアでないかまたは両方だ; fact22 -> int13: もし「その意味連関は廓清でないししかも遣り難くない」ということは成り立つということはないとしたら「それは答え難くない」ということは事実だ; fact26 -> int14: もしも「あのＯＮは当たり外れでない」ということは真実であるならばそれは伴い易い; fact29 & fact28 -> int15: 「あのＯＮは当たり外れだがしかし植えない」ということは成り立たない; fact24 & int15 -> int16: あのＯＮは当たり外れだということはない; int14 & int16 -> int17: あのＯＮは伴い易い; int17 -> int18: 「伴い易い」ものはある;
$facts$ = fact1: もし仮に「その血清型は数値化しない」ということは確かであるとしたらこの転変は廓清でない fact2: もしも「あのＯＮは当たり外れであるがしかし植えるということはない」ということは成り立たないなら当たり外れでない fact3: もしも「創作する」ものはあるとすれば「その血清型は遣り難い一方で廓清でない」ということは成り立つということはない fact4: 「そのコンパクトサイズは商人らしくない」ということは真実ならばそれは平安時代後期だ fact5: あらゆるものは空き室・明きフロアだ fact6: 仮に「その血清型は数値化しない」ということは事実ならば「その意味連関は廓清でないし遣り難くない」ということは成り立たない fact7: もしも「なにかは廓清でないし遣り難くない」ということは間違いなら答え難くない fact8: 仮にはしたない物が創作しないとしたらその血清型は数値化しない fact9: もしもとある物が数値化するということはないとしたらはしたない fact10: 「危なっかしい」物はある fact11: もしなにがしかのものが修業中でないとすればそれは騎乗であるがしかし教え導かない fact12: もしもあるものは答え難くないなら「はしたないし空き室・明きフロアである」ということは間違っている fact13: あのＯＮは肺門でないとすると「それは当たり外れであるしそれは植えない」ということは偽だ fact14: あのＯＮは肺門だということはない fact15: その病院機能評価が平安時代後期でないならばこの転変は数値化しない fact16: とあるものが当たり外れでないとすれば伴い易い fact17: 答え難くない物は遣り難いけど廓清でない fact18: もし仮に「「平安時代後期でないかあるいは格好悪くないか両方ともである」ということは偽である」物があるならその血清型は答え難くない fact19: 答え難くない物は作り直さないか空き室・明きフロアでないかもしくは両方ともだ fact20: 「創作する」ものはある fact21: 「その病院機能評価は格好悪くない」ということは確かであるならばこの転変は数値化しない ; $hypothesis$ = この転変ははしたないし加えて空き室・明きフロアだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その病院機能評価は平安時代後期でないかまたは格好悪くないかあるいは両方だ」ということは誤っている; assump1 -> int1: 「「「平安時代後期でないかまたは格好悪くない」ということは正しい」ということは成り立たない」物はある; int1 & fact18 -> int2: その血清型は答え難くない; fact17 -> int3: その血清型が答え難くないとしたらそれは遣り難くてそれは廓清でない; int2 & int3 -> int4: その血清型は遣り難いがしかし廓清でない; fact3 & fact20 -> int5: 「その血清型は遣り難いけれど廓清でない」ということは成り立つということはない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その病院機能評価は平安時代後期でないか格好悪いということはない; int7 & fact15 & fact21 -> int8: この転変は数値化しない; fact9 -> int9: もしこの転変は数値化しないとしたら「はしたない」ということは真実である; int8 & int9 -> int10: この転変ははしたない; fact5 -> int11: 「この転変は空き室・明きフロアだ」ということは事実と異ならない; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮に「その血清型は数値化しない」ということは確かであるとしたらこの転変は廓清でない
事実2: もしも「あのＯＮは当たり外れであるがしかし植えるということはない」ということは成り立たないなら当たり外れでない
事実3: もしも「創作する」ものはあるとすれば「その血清型は遣り難い一方で廓清でない」ということは成り立つということはない
事実4: 「そのコンパクトサイズは商人らしくない」ということは真実ならばそれは平安時代後期だ
事実5: あらゆるものは空き室・明きフロアだ
事実6: 仮に「その血清型は数値化しない」ということは事実ならば「その意味連関は廓清でないし遣り難くない」ということは成り立たない
事実7: もしも「なにかは廓清でないし遣り難くない」ということは間違いなら答え難くない
事実8: 仮にはしたない物が創作しないとしたらその血清型は数値化しない
事実9: もしもとある物が数値化するということはないとしたらはしたない
事実10: 「危なっかしい」物はある
事実11: もしなにがしかのものが修業中でないとすればそれは騎乗であるがしかし教え導かない
事実12: もしもあるものは答え難くないなら「はしたないし空き室・明きフロアである」ということは間違っている
事実13: あのＯＮは肺門でないとすると「それは当たり外れであるしそれは植えない」ということは偽だ
事実14: あのＯＮは肺門だということはない
事実15: その病院機能評価が平安時代後期でないならばこの転変は数値化しない
事実16: とあるものが当たり外れでないとすれば伴い易い
事実17: 答え難くない物は遣り難いけど廓清でない
事実18: もし仮に「「平安時代後期でないかあるいは格好悪くないか両方ともである」ということは偽である」物があるならその血清型は答え難くない
事実19: 答え難くない物は作り直さないか空き室・明きフロアでないかもしくは両方ともだ
事実20: 「創作する」ものはある
事実21: 「その病院機能評価は格好悪くない」ということは確かであるならばこの転変は数値化しない

仮説: この転変ははしたないし加えて空き室・明きフロアだ
1. 仮定1: 以下のように仮定する。「その病院機能評価は平安時代後期でないかまたは格好悪くないかあるいは両方だ」ということは誤っている
2. 仮定1から、推論1: "「「「平安時代後期でないかまたは格好悪くない」ということは正しい」ということは成り立たない」物はある"が導かれる
3. 推論1と事実18から、推論2: "その血清型は答え難くない"が導かれる
4. 事実17から、推論3: "その血清型が答え難くないとしたらそれは遣り難くてそれは廓清でない"が導かれる
5. 推論2と推論3から、推論4: "その血清型は遣り難いがしかし廓清でない"が導かれる
6. 事実3と事実20から、推論5: "「その血清型は遣り難いけれど廓清でない」ということは成り立つということはない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その病院機能評価は平安時代後期でないか格好悪いということはない"が導かれる
9. 推論7と事実15と事実21から、推論8: "この転変は数値化しない"が導かれる
10. 事実9から、推論9: "もしこの転変は数値化しないとしたら「はしたない」ということは真実である"が導かれる
11. 推論8と推論9から、推論10: "この転変ははしたない"が導かれる
12. 事実5から、推論11: "「この転変は空き室・明きフロアだ」ということは事実と異ならない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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