「そのソウルホテルは得る」ということは事実であるとすればあのロイヤル時代は非課税範囲だ
fact1: 「この賃金水準は得る一方で溜め込み易くない」ということは間違いだ fact2: そのシックハウス対策は得る fact3: 仮にある物が溜め込み易いならあのロイヤル時代は非課税範囲だ fact4: もしもそのソウルホテルは得るとしたら「この賃金水準は殺意であるしその上それは溜め込み易い」ということは誤っている fact5: 「「非課税範囲でその上得ない」ということは間違いな」物はある fact6: もしも「「溜め込み易い一方で得ない」ということは本当だということはない」ものがあるとしたらそのソウルホテルは殺意だ fact7: もしも「「殺意であるけれど溜め込み易くない」ということは成り立たない」物があるとするとあのロイヤル時代は非課税範囲だ fact8: 「「非課税範囲だし溜め込み易くない」ということは成り立たない」物はある fact9: もしこの賃金水準は得るとすれば「そのソウルホテルは溜め込み易いがしかしそれは殺意でない」ということは間違っている fact10: 「「殺意でしかも非課税範囲でない」ということは成り立たない」物はある fact11: もし「「非課税範囲であるしそれに殺意でない」ということは誤りである」ものがあればあのロイヤル時代は得る fact12: 「この賃金水準は殺意であるし溜め込み易い」ということは事実と異なる fact13: この賃金水準は几帳だ fact14: この賃金水準ははっとする fact15: 「殺意である一方で溜め込み易くない」物はある fact16: 「「殺意であるけれど得ない」ということは事実と異なる」物はある fact17: あのロイヤル時代は得る fact18: その植民地人民は残り難い fact19: もしも「あのロイヤル時代は得る」ということは本当だとしたらそのソウルホテルは非課税範囲だ fact20: 「もしそのソウルホテルは得るとすれば「この賃金水準は殺意であるけどそれは溜め込み易くない」ということは成り立たない」ということは事実だ fact21: 「「「殺意であるしさらに溜め込み易い」ということは成り立たない」物はある」ということは事実である fact22: もし仮にあのロイヤル時代は得るとしたら「そのソウルホテルは溜め込み易いけど非課税範囲でない」ということは間違っている
void -> assump1: 以下のように仮定する。そのソウルホテルは得る; fact20 & assump1 -> int1: 「この賃金水準は殺意である一方で溜め込み易くない」ということは事実と異なる; int1 -> int2: 「「殺意だけれど溜め込み易くない」ということは誤りな」ものはある; int2 & fact7 -> int3: あのロイヤル時代は非課税範囲だ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「この賃金水準は得る一方で溜め込み易くない」ということは間違いだ fact2: そのシックハウス対策は得る fact3: 仮にある物が溜め込み易いならあのロイヤル時代は非課税範囲だ fact4: もしもそのソウルホテルは得るとしたら「この賃金水準は殺意であるしその上それは溜め込み易い」ということは誤っている fact5: 「「非課税範囲でその上得ない」ということは間違いな」物はある fact6: もしも「「溜め込み易い一方で得ない」ということは本当だということはない」ものがあるとしたらそのソウルホテルは殺意だ fact7: もしも「「殺意であるけれど溜め込み易くない」ということは成り立たない」物があるとするとあのロイヤル時代は非課税範囲だ fact8: 「「非課税範囲だし溜め込み易くない」ということは成り立たない」物はある fact9: もしこの賃金水準は得るとすれば「そのソウルホテルは溜め込み易いがしかしそれは殺意でない」ということは間違っている fact10: 「「殺意でしかも非課税範囲でない」ということは成り立たない」物はある fact11: もし「「非課税範囲であるしそれに殺意でない」ということは誤りである」ものがあればあのロイヤル時代は得る fact12: 「この賃金水準は殺意であるし溜め込み易い」ということは事実と異なる fact13: この賃金水準は几帳だ fact14: この賃金水準ははっとする fact15: 「殺意である一方で溜め込み易くない」物はある fact16: 「「殺意であるけれど得ない」ということは事実と異なる」物はある fact17: あのロイヤル時代は得る fact18: その植民地人民は残り難い fact19: もしも「あのロイヤル時代は得る」ということは本当だとしたらそのソウルホテルは非課税範囲だ fact20: 「もしそのソウルホテルは得るとすれば「この賃金水準は殺意であるけどそれは溜め込み易くない」ということは成り立たない」ということは事実だ fact21: 「「「殺意であるしさらに溜め込み易い」ということは成り立たない」物はある」ということは事実である fact22: もし仮にあのロイヤル時代は得るとしたら「そのソウルホテルは溜め込み易いけど非課税範囲でない」ということは間違っている ; $hypothesis$ = 「そのソウルホテルは得る」ということは事実であるとすればあのロイヤル時代は非課税範囲だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのソウルホテルは得る; fact20 & assump1 -> int1: 「この賃金水準は殺意である一方で溜め込み易くない」ということは事実と異なる; int1 -> int2: 「「殺意だけれど溜め込み易くない」ということは誤りな」ものはある; int2 & fact7 -> int3: あのロイヤル時代は非課税範囲だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この賃金水準は得る一方で溜め込み易くない」ということは間違いだ
事実2: そのシックハウス対策は得る
事実3: 仮にある物が溜め込み易いならあのロイヤル時代は非課税範囲だ
事実4: もしもそのソウルホテルは得るとしたら「この賃金水準は殺意であるしその上それは溜め込み易い」ということは誤っている
事実5: 「「非課税範囲でその上得ない」ということは間違いな」物はある
事実6: もしも「「溜め込み易い一方で得ない」ということは本当だということはない」ものがあるとしたらそのソウルホテルは殺意だ
事実7: もしも「「殺意であるけれど溜め込み易くない」ということは成り立たない」物があるとするとあのロイヤル時代は非課税範囲だ
事実8: 「「非課税範囲だし溜め込み易くない」ということは成り立たない」物はある
事実9: もしこの賃金水準は得るとすれば「そのソウルホテルは溜め込み易いがしかしそれは殺意でない」ということは間違っている
事実10: 「「殺意でしかも非課税範囲でない」ということは成り立たない」物はある
事実11: もし「「非課税範囲であるしそれに殺意でない」ということは誤りである」ものがあればあのロイヤル時代は得る
事実12: 「この賃金水準は殺意であるし溜め込み易い」ということは事実と異なる
事実13: この賃金水準は几帳だ
事実14: この賃金水準ははっとする
事実15: 「殺意である一方で溜め込み易くない」物はある
事実16: 「「殺意であるけれど得ない」ということは事実と異なる」物はある
事実17: あのロイヤル時代は得る
事実18: その植民地人民は残り難い
事実19: もしも「あのロイヤル時代は得る」ということは本当だとしたらそのソウルホテルは非課税範囲だ
事実20: 「もしそのソウルホテルは得るとすれば「この賃金水準は殺意であるけどそれは溜め込み易くない」ということは成り立たない」ということは事実だ
事実21: 「「「殺意であるしさらに溜め込み易い」ということは成り立たない」物はある」ということは事実である
事実22: もし仮にあのロイヤル時代は得るとしたら「そのソウルホテルは溜め込み易いけど非課税範囲でない」ということは間違っている

仮説: 「そのソウルホテルは得る」ということは事実であるとすればあのロイヤル時代は非課税範囲だ
1. 仮定1: 以下のように仮定する。そのソウルホテルは得る
2. 事実20と仮定1から、推論1: "「この賃金水準は殺意である一方で溜め込み易くない」ということは事実と異なる"が導かれる
3. 推論1から、推論2: "「「殺意だけれど溜め込み易くない」ということは誤りな」ものはある"が導かれる
4. 推論2と事実7から、推論3: "あのロイヤル時代は非課税範囲だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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