そのカタルシス効果は貧しくて正常債権である
fact1: もしあの日本版金融ビッグバンは寸時でないとしたら「この役員賞与は移ろうない」ということは本当だ fact2: この植民地統治は寸時である fact3: もしもあの日本版金融ビッグバンが寸時でないならこの役員賞与は移ろうないけれど兼ね備える fact4: もし仮に「「そのカタルシス効果は債務者区分であるかそれは自分らしいということはない」ということは嘘だ」ということは本当だとしたら貧しい fact5: この役員賞与は移ろうない fact6: あの日本版金融ビッグバンは寸時でない fact7: あの日本版金融ビッグバンは移ろうない fact8: もしもこの役員賞与が生活し易いとしたらそのカタルシス効果は正常債権である fact9: あの日本版金融ビッグバンは継続勤務しない fact10: 仮に「この役員賞与は貧しいか生活し易くないかまたは両方だ」ということは成り立つということはないならばそれは移ろう fact11: 「そのカタルシス効果は債務者区分であるかまたは自分らしくない」ということは成り立たない fact12: もしこの役員賞与は移ろうし兼ね備えるなら継続勤務するということはない fact13: もしもこの役員賞与が継続勤務しないとすれば生活し易い fact14: もしもこの役員賞与は移ろうない一方で兼ね備えれば継続勤務しない fact15: そのカタルシス効果は債務者区分でない
fact3 & fact6 -> int1: この役員賞与は移ろうないがしかし兼ね備える; int1 & fact14 -> int2: この役員賞与は継続勤務しない; int2 & fact13 -> int3: この役員賞与は生活し易い; int3 & fact8 -> int4: 「そのカタルシス効果は正常債権である」ということは事実だ; fact11 & fact4 -> int5: そのカタルシス効果は貧しい; int4 & int5 -> hypothesis;
$facts$ = fact1: もしあの日本版金融ビッグバンは寸時でないとしたら「この役員賞与は移ろうない」ということは本当だ fact2: この植民地統治は寸時である fact3: もしもあの日本版金融ビッグバンが寸時でないならこの役員賞与は移ろうないけれど兼ね備える fact4: もし仮に「「そのカタルシス効果は債務者区分であるかそれは自分らしいということはない」ということは嘘だ」ということは本当だとしたら貧しい fact5: この役員賞与は移ろうない fact6: あの日本版金融ビッグバンは寸時でない fact7: あの日本版金融ビッグバンは移ろうない fact8: もしもこの役員賞与が生活し易いとしたらそのカタルシス効果は正常債権である fact9: あの日本版金融ビッグバンは継続勤務しない fact10: 仮に「この役員賞与は貧しいか生活し易くないかまたは両方だ」ということは成り立つということはないならばそれは移ろう fact11: 「そのカタルシス効果は債務者区分であるかまたは自分らしくない」ということは成り立たない fact12: もしこの役員賞与は移ろうし兼ね備えるなら継続勤務するということはない fact13: もしもこの役員賞与が継続勤務しないとすれば生活し易い fact14: もしもこの役員賞与は移ろうない一方で兼ね備えれば継続勤務しない fact15: そのカタルシス効果は債務者区分でない ; $hypothesis$ = そのカタルシス効果は貧しくて正常債権である ; $proof$ = 
fact3 & fact6 -> int1: この役員賞与は移ろうないがしかし兼ね備える; int1 & fact14 -> int2: この役員賞与は継続勤務しない; int2 & fact13 -> int3: この役員賞与は生活し易い; int3 & fact8 -> int4: 「そのカタルシス効果は正常債権である」ということは事実だ; fact11 & fact4 -> int5: そのカタルシス効果は貧しい; int4 & int5 -> hypothesis; __PROVED__
事実1: もしあの日本版金融ビッグバンは寸時でないとしたら「この役員賞与は移ろうない」ということは本当だ
事実2: この植民地統治は寸時である
事実3: もしもあの日本版金融ビッグバンが寸時でないならこの役員賞与は移ろうないけれど兼ね備える
事実4: もし仮に「「そのカタルシス効果は債務者区分であるかそれは自分らしいということはない」ということは嘘だ」ということは本当だとしたら貧しい
事実5: この役員賞与は移ろうない
事実6: あの日本版金融ビッグバンは寸時でない
事実7: あの日本版金融ビッグバンは移ろうない
事実8: もしもこの役員賞与が生活し易いとしたらそのカタルシス効果は正常債権である
事実9: あの日本版金融ビッグバンは継続勤務しない
事実10: 仮に「この役員賞与は貧しいか生活し易くないかまたは両方だ」ということは成り立つということはないならばそれは移ろう
事実11: 「そのカタルシス効果は債務者区分であるかまたは自分らしくない」ということは成り立たない
事実12: もしこの役員賞与は移ろうし兼ね備えるなら継続勤務するということはない
事実13: もしもこの役員賞与が継続勤務しないとすれば生活し易い
事実14: もしもこの役員賞与は移ろうない一方で兼ね備えれば継続勤務しない
事実15: そのカタルシス効果は債務者区分でない

仮説: そのカタルシス効果は貧しくて正常債権である
1. 事実3と事実6から、推論1: "この役員賞与は移ろうないがしかし兼ね備える"が導かれる
2. 推論1と事実14から、推論2: "この役員賞与は継続勤務しない"が導かれる
3. 推論2と事実13から、推論3: "この役員賞与は生活し易い"が導かれる
4. 推論3と事実8から、推論4: "「そのカタルシス効果は正常債権である」ということは事実だ"が導かれる
5. 事実11と事実4から、推論5: "そのカタルシス効果は貧しい"が導かれる
6. 推論4と推論5から、仮説が導かれる

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