あの査問委員会は新生児バセドウ病でそれは経済基盤である
fact1: この一軍選手が経済基盤ならばあのとこしえは飾り付けるということはないが一念発起する fact2: あの査問委員会は新生児バセドウ病である fact3: この一軍選手は一念発起しない fact4: その病院長は一念発起しない fact5: もしもあのとこしえが経済基盤でないならあの査問委員会は新生児バセドウ病であるしおまけに経済基盤だ fact6: あの戦略的チェックが成体中枢神経組織でない一方で飾り付けるならあのとこしえは経済基盤でない fact7: あの戦略的チェックは飾り付ける fact8: 仮にこの民俗学的歴史が時代塗り仕上げでない一方で固しとしたらこの一軍選手は白眼だ fact9: この民俗学的歴史は時代塗り仕上げでない fact10: もしもなにかは成体中枢神経組織でないとすれば「新生児バセドウ病であるしそれは経済基盤だ」ということは成り立たない fact11: そのグラカンは飾り付ける fact12: もしもなんらかのものが一念発起するとすればそれは白眼であるけど成体中枢神経組織でない fact13: もし仮にこの一軍選手が白眼ならそれは一念発起する fact14: もしあの戦略的チェックが成体中枢神経組織ならこの民俗学的歴史は時代塗り仕上げでない一方でそれは固し
void -> assump1: 以下のように仮定する。あの戦略的チェックは成体中枢神経組織だ; fact14 & assump1 -> int1: この民俗学的歴史は時代塗り仕上げでないけれど固し; int1 & fact8 -> int2: この一軍選手は白眼だ; int2 & fact13 -> int3: この一軍選手は一念発起する; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの戦略的チェックは成体中枢神経組織でない; int5 & fact7 -> int6: あの戦略的チェックは成体中枢神経組織でないがしかしそれは飾り付ける; int6 & fact6 -> int7: あのとこしえは経済基盤でない; int7 & fact5 -> hypothesis;
「あの査問委員会は新生児バセドウ病でかつそれは経済基盤だ」ということは誤っている
fact16 -> int8: もしもあの査問委員会は成体中枢神経組織でないとすれば「それは新生児バセドウ病だし経済基盤だ」ということは間違っている; fact15 -> int9: もしあの査問委員会が一念発起するなら白眼だけれど成体中枢神経組織でない;
$facts$ = fact1: この一軍選手が経済基盤ならばあのとこしえは飾り付けるということはないが一念発起する fact2: あの査問委員会は新生児バセドウ病である fact3: この一軍選手は一念発起しない fact4: その病院長は一念発起しない fact5: もしもあのとこしえが経済基盤でないならあの査問委員会は新生児バセドウ病であるしおまけに経済基盤だ fact6: あの戦略的チェックが成体中枢神経組織でない一方で飾り付けるならあのとこしえは経済基盤でない fact7: あの戦略的チェックは飾り付ける fact8: 仮にこの民俗学的歴史が時代塗り仕上げでない一方で固しとしたらこの一軍選手は白眼だ fact9: この民俗学的歴史は時代塗り仕上げでない fact10: もしもなにかは成体中枢神経組織でないとすれば「新生児バセドウ病であるしそれは経済基盤だ」ということは成り立たない fact11: そのグラカンは飾り付ける fact12: もしもなんらかのものが一念発起するとすればそれは白眼であるけど成体中枢神経組織でない fact13: もし仮にこの一軍選手が白眼ならそれは一念発起する fact14: もしあの戦略的チェックが成体中枢神経組織ならこの民俗学的歴史は時代塗り仕上げでない一方でそれは固し ; $hypothesis$ = あの査問委員会は新生児バセドウ病でそれは経済基盤である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの戦略的チェックは成体中枢神経組織だ; fact14 & assump1 -> int1: この民俗学的歴史は時代塗り仕上げでないけれど固し; int1 & fact8 -> int2: この一軍選手は白眼だ; int2 & fact13 -> int3: この一軍選手は一念発起する; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの戦略的チェックは成体中枢神経組織でない; int5 & fact7 -> int6: あの戦略的チェックは成体中枢神経組織でないがしかしそれは飾り付ける; int6 & fact6 -> int7: あのとこしえは経済基盤でない; int7 & fact5 -> hypothesis; __PROVED__
事実1: この一軍選手が経済基盤ならばあのとこしえは飾り付けるということはないが一念発起する
事実2: あの査問委員会は新生児バセドウ病である
事実3: この一軍選手は一念発起しない
事実4: その病院長は一念発起しない
事実5: もしもあのとこしえが経済基盤でないならあの査問委員会は新生児バセドウ病であるしおまけに経済基盤だ
事実6: あの戦略的チェックが成体中枢神経組織でない一方で飾り付けるならあのとこしえは経済基盤でない
事実7: あの戦略的チェックは飾り付ける
事実8: 仮にこの民俗学的歴史が時代塗り仕上げでない一方で固しとしたらこの一軍選手は白眼だ
事実9: この民俗学的歴史は時代塗り仕上げでない
事実10: もしもなにかは成体中枢神経組織でないとすれば「新生児バセドウ病であるしそれは経済基盤だ」ということは成り立たない
事実11: そのグラカンは飾り付ける
事実12: もしもなんらかのものが一念発起するとすればそれは白眼であるけど成体中枢神経組織でない
事実13: もし仮にこの一軍選手が白眼ならそれは一念発起する
事実14: もしあの戦略的チェックが成体中枢神経組織ならこの民俗学的歴史は時代塗り仕上げでない一方でそれは固し

仮説: あの査問委員会は新生児バセドウ病でそれは経済基盤である
1. 仮定1: 以下のように仮定する。あの戦略的チェックは成体中枢神経組織だ
2. 事実14と仮定1から、推論1: "この民俗学的歴史は時代塗り仕上げでないけれど固し"が導かれる
3. 推論1と事実8から、推論2: "この一軍選手は白眼だ"が導かれる
4. 推論2と事実13から、推論3: "この一軍選手は一念発起する"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの戦略的チェックは成体中枢神経組織でない"が導かれる
7. 推論5と事実7から、推論6: "あの戦略的チェックは成体中枢神経組織でないがしかしそれは飾り付ける"が導かれる
8. 推論6と事実6から、推論7: "あのとこしえは経済基盤でない"が導かれる
9. 推論7と事実5から、仮説が導かれる

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