その研究開発拠点は手際良い
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: 冗談っぽくてかつ歌舞伎っぽいものはこそばゆくない fact27: もしその万引きが懐かしいならあの持分比率は懐かしい
void -> assump1: 以下のように仮定する。その絶縁性は歌舞伎っぽい; fact19 & assump1 -> int1: その絶縁性は冗談っぽいし加えて歌舞伎っぽい; fact26 -> int2: 仮にその絶縁性は冗談っぽいししかも歌舞伎っぽいとしたらこそばゆくない; int1 & int2 -> int3: その絶縁性はこそばゆくない; int3 & fact24 -> int4: あの持分比率は懐かしくない; fact8 & fact21 & fact14 -> int5: その万引きは懐かしい; fact27 & int5 -> int6: あの持分比率は懐かしい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その絶縁性は歌舞伎っぽくない」ということは成り立つ; int8 & fact9 -> int9: 「「その研究開発拠点は長いが歌舞伎っぽくない」ということは成り立つということはない」ということは成り立つ; fact11 -> int10: もし「その研究開発拠点は長い一方でそれは歌舞伎っぽくない」ということは成り立たないとするとそれは手際良い; int9 & int10 -> hypothesis;
「その研究開発拠点は手際良くない」ということは確かだ
$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: 冗談っぽくてかつ歌舞伎っぽいものはこそばゆくない fact27: もしその万引きが懐かしいならあの持分比率は懐かしい ; $hypothesis$ = その研究開発拠点は手際良い ; $proof$ = 
void -> assump1: 以下のように仮定する。その絶縁性は歌舞伎っぽい; fact19 & assump1 -> int1: その絶縁性は冗談っぽいし加えて歌舞伎っぽい; fact26 -> int2: 仮にその絶縁性は冗談っぽいししかも歌舞伎っぽいとしたらこそばゆくない; int1 & int2 -> int3: その絶縁性はこそばゆくない; int3 & fact24 -> int4: あの持分比率は懐かしくない; fact8 & fact21 & fact14 -> int5: その万引きは懐かしい; fact27 & int5 -> int6: あの持分比率は懐かしい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その絶縁性は歌舞伎っぽくない」ということは成り立つ; int8 & fact9 -> int9: 「「その研究開発拠点は長いが歌舞伎っぽくない」ということは成り立つということはない」ということは成り立つ; fact11 -> int10: もし「その研究開発拠点は長い一方でそれは歌舞伎っぽくない」ということは成り立たないとするとそれは手際良い; int9 & int10 -> 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: 冗談っぽくてかつ歌舞伎っぽいものはこそばゆくない
事実27: もしその万引きが懐かしいならあの持分比率は懐かしい

仮説: その研究開発拠点は手際良い
1. 仮定1: 以下のように仮定する。その絶縁性は歌舞伎っぽい
2. 事実19と仮定1から、推論1: "その絶縁性は冗談っぽいし加えて歌舞伎っぽい"が導かれる
3. 事実26から、推論2: "仮にその絶縁性は冗談っぽいししかも歌舞伎っぽいとしたらこそばゆくない"が導かれる
4. 推論1と推論2から、推論3: "その絶縁性はこそばゆくない"が導かれる
5. 推論3と事実24から、推論4: "あの持分比率は懐かしくない"が導かれる
6. 事実8と事実21と事実14から、推論5: "その万引きは懐かしい"が導かれる
7. 事実27と推論5から、推論6: "あの持分比率は懐かしい"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その絶縁性は歌舞伎っぽくない」ということは成り立つ"が導かれる
10. 推論8と事実9から、推論9: "「「その研究開発拠点は長いが歌舞伎っぽくない」ということは成り立つということはない」ということは成り立つ"が導かれる
11. 事実11から、推論10: "もし「その研究開発拠点は長い一方でそれは歌舞伎っぽくない」ということは成り立たないとするとそれは手際良い"が導かれる
12. 推論9と推論10から、仮説が導かれる

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