この注射実施は遊戯施設でない
fact1: 「その天界は灯し難くないがしかし久し」ということは成り立つということはない fact2: 賢くないしかつ発揮し易いものは過剰汎化しない fact3: この注射実施はもどかしい fact4: この漿膜は賢い fact5: もし仮にその天界はＲＹＡＮでないとすると「あの黄体化ホルモンはもどかしくないけれど垂直統合する」ということは事実でない fact6: その市場参入は有効需要でないけど発揮し易い fact7: あるものが晒され易いとするとそれは過剰汎化する fact8: 「もし仮にとある物は遊戯施設であるとすれば「それは過剰汎化する」ということは事実である」ということは本当だ fact9: 仮にこの注射実施が賢くないけどそれは遊戯施設であるならば晒され易くない fact10: その市場参入は晒され易い fact11: もし仮に「「その天界は灯し難くない一方でそれは久し」ということは確かだ」ということは成り立たないならばそれはＲＹＡＮでない fact12: 仮に「この注射実施は遊戯施設である」ということは成り立つならその市場参入は賢くないが発揮し易い fact13: その市場参入は遊戯施設でない fact14: この注射実施は発揮し易い fact15: 仮に「なにがしかの物はもどかしいということはないがしかし垂直統合する」ということは嘘であるとしたらそれは進み易い fact16: もしもその市場参入は発揮し易いならば「この注射実施は賢い」ということは事実である fact17: この注射実施は晒され易い
void -> assump1: 以下のように仮定する。この注射実施は遊戯施設である; fact12 & assump1 -> int1: その市場参入は賢くないがしかし発揮し易い; fact2 -> int2: もしその市場参入は賢くないけれど発揮し易いとすると過剰汎化しない; int1 & int2 -> int3: その市場参入は過剰汎化しない; fact7 -> int4: その市場参入が晒され易いとすると過剰汎化する; fact10 & int4 -> int5: その市場参入は過剰汎化する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この注射実施は遊戯施設である
fact18 -> int7: 仮に「あの黄体化ホルモンはもどかしくないけど垂直統合する」ということは嘘だとすればそれは進み易い; fact21 & fact19 -> int8: その天界はＲＹＡＮでない; fact20 & int8 -> int9: 「「あの黄体化ホルモンはもどかしくないが垂直統合する」ということは誤りだ」ということは正しい; int7 & int9 -> int10: あの黄体化ホルモンは進み易い; int10 -> int11: 「進み易い」ものはある;
$facts$ = fact1: 「その天界は灯し難くないがしかし久し」ということは成り立つということはない fact2: 賢くないしかつ発揮し易いものは過剰汎化しない fact3: この注射実施はもどかしい fact4: この漿膜は賢い fact5: もし仮にその天界はＲＹＡＮでないとすると「あの黄体化ホルモンはもどかしくないけれど垂直統合する」ということは事実でない fact6: その市場参入は有効需要でないけど発揮し易い fact7: あるものが晒され易いとするとそれは過剰汎化する fact8: 「もし仮にとある物は遊戯施設であるとすれば「それは過剰汎化する」ということは事実である」ということは本当だ fact9: 仮にこの注射実施が賢くないけどそれは遊戯施設であるならば晒され易くない fact10: その市場参入は晒され易い fact11: もし仮に「「その天界は灯し難くない一方でそれは久し」ということは確かだ」ということは成り立たないならばそれはＲＹＡＮでない fact12: 仮に「この注射実施は遊戯施設である」ということは成り立つならその市場参入は賢くないが発揮し易い fact13: その市場参入は遊戯施設でない fact14: この注射実施は発揮し易い fact15: 仮に「なにがしかの物はもどかしいということはないがしかし垂直統合する」ということは嘘であるとしたらそれは進み易い fact16: もしもその市場参入は発揮し易いならば「この注射実施は賢い」ということは事実である fact17: この注射実施は晒され易い ; $hypothesis$ = この注射実施は遊戯施設でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この注射実施は遊戯施設である; fact12 & assump1 -> int1: その市場参入は賢くないがしかし発揮し易い; fact2 -> int2: もしその市場参入は賢くないけれど発揮し易いとすると過剰汎化しない; int1 & int2 -> int3: その市場参入は過剰汎化しない; fact7 -> int4: その市場参入が晒され易いとすると過剰汎化する; fact10 & int4 -> int5: その市場参入は過剰汎化する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「その天界は灯し難くないがしかし久し」ということは成り立つということはない
事実2: 賢くないしかつ発揮し易いものは過剰汎化しない
事実3: この注射実施はもどかしい
事実4: この漿膜は賢い
事実5: もし仮にその天界はＲＹＡＮでないとすると「あの黄体化ホルモンはもどかしくないけれど垂直統合する」ということは事実でない
事実6: その市場参入は有効需要でないけど発揮し易い
事実7: あるものが晒され易いとするとそれは過剰汎化する
事実8: 「もし仮にとある物は遊戯施設であるとすれば「それは過剰汎化する」ということは事実である」ということは本当だ
事実9: 仮にこの注射実施が賢くないけどそれは遊戯施設であるならば晒され易くない
事実10: その市場参入は晒され易い
事実11: もし仮に「「その天界は灯し難くない一方でそれは久し」ということは確かだ」ということは成り立たないならばそれはＲＹＡＮでない
事実12: 仮に「この注射実施は遊戯施設である」ということは成り立つならその市場参入は賢くないが発揮し易い
事実13: その市場参入は遊戯施設でない
事実14: この注射実施は発揮し易い
事実15: 仮に「なにがしかの物はもどかしいということはないがしかし垂直統合する」ということは嘘であるとしたらそれは進み易い
事実16: もしもその市場参入は発揮し易いならば「この注射実施は賢い」ということは事実である
事実17: この注射実施は晒され易い

仮説: この注射実施は遊戯施設でない
1. 仮定1: 以下のように仮定する。この注射実施は遊戯施設である
2. 事実12と仮定1から、推論1: "その市場参入は賢くないがしかし発揮し易い"が導かれる
3. 事実2から、推論2: "もしその市場参入は賢くないけれど発揮し易いとすると過剰汎化しない"が導かれる
4. 推論1と推論2から、推論3: "その市場参入は過剰汎化しない"が導かれる
5. 事実7から、推論4: "その市場参入が晒され易いとすると過剰汎化する"が導かれる
6. 事実10と推論4から、推論5: "その市場参入は過剰汎化する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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