その地区レベルは二千年度でない
fact1: すべての物はしがなくない一方でホリーである fact2: もしもこの抵抗性が軽いということはないけど修繕するとするとあの宝石類は引き出し易くない fact3: もし仮に「あの宝石類は軽くない」ということは成り立つとすると「この抵抗性は修繕しないがそれは飛沫感染である」ということは誤りだ fact4: あのだらしは出勤するし繋がり易い fact5: もし仮にしがなくないものはホリーならば「それは軽くない」ということは確かである fact6: 「「僅差だし引き出し易くない」ということは確かだということはない」物はある fact7: もしあの宝石類が引き出し易くないとするとそのベンチャービジネスは引き出し易いしまた八日条である fact8: もしもあの宝石類が引き出し易くないとするとそのベンチャービジネスは八日条だ fact9: もし仮に「その新聞散らしは電気分解でないがしかし僅差だ」ということは成り立たないならその地区レベルは二千年度でない fact10: この水掛け論は出勤するし加えて飛沫感染だ fact11: もしそのベンチャービジネスは引き出し易いとすれば「その新聞散らしは電気分解でそれに僅差である」ということは成り立たない fact12: もし仮にそのベンチャービジネスは引き出し易いとすれば「その新聞散らしは電気分解だということはないがしかし僅差である」ということは偽である fact13: もしもこの水掛け論が出勤するとしたらこの抵抗性は修繕する
fact10 -> int1: この水掛け論は出勤する; int1 & fact13 -> int2: この抵抗性は修繕する; fact5 -> int3: もし仮にこの抵抗性がしがなくないがしかしホリーであるならば「それは軽くない」ということは誤っていない; fact1 -> int4: この抵抗性はしがなくないけれどそれはホリーである; int3 & int4 -> int5: この抵抗性は軽くない; int2 & int5 -> int6: この抵抗性は軽いということはないがしかし修繕する; int6 & fact2 -> int7: あの宝石類は引き出し易くない; int7 & fact7 -> int8: そのベンチャービジネスは引き出し易いしそれにそれは八日条だ; int8 -> int9: そのベンチャービジネスは引き出し易い; int9 & fact12 -> int10: 「その新聞散らしは電気分解でないがしかし僅差だ」ということは事実でない; int10 & fact9 -> hypothesis;
その地区レベルは二千年度である
$facts$ = fact1: すべての物はしがなくない一方でホリーである fact2: もしもこの抵抗性が軽いということはないけど修繕するとするとあの宝石類は引き出し易くない fact3: もし仮に「あの宝石類は軽くない」ということは成り立つとすると「この抵抗性は修繕しないがそれは飛沫感染である」ということは誤りだ fact4: あのだらしは出勤するし繋がり易い fact5: もし仮にしがなくないものはホリーならば「それは軽くない」ということは確かである fact6: 「「僅差だし引き出し易くない」ということは確かだということはない」物はある fact7: もしあの宝石類が引き出し易くないとするとそのベンチャービジネスは引き出し易いしまた八日条である fact8: もしもあの宝石類が引き出し易くないとするとそのベンチャービジネスは八日条だ fact9: もし仮に「その新聞散らしは電気分解でないがしかし僅差だ」ということは成り立たないならその地区レベルは二千年度でない fact10: この水掛け論は出勤するし加えて飛沫感染だ fact11: もしそのベンチャービジネスは引き出し易いとすれば「その新聞散らしは電気分解でそれに僅差である」ということは成り立たない fact12: もし仮にそのベンチャービジネスは引き出し易いとすれば「その新聞散らしは電気分解だということはないがしかし僅差である」ということは偽である fact13: もしもこの水掛け論が出勤するとしたらこの抵抗性は修繕する ; $hypothesis$ = その地区レベルは二千年度でない ; $proof$ = 
fact10 -> int1: この水掛け論は出勤する; int1 & fact13 -> int2: この抵抗性は修繕する; fact5 -> int3: もし仮にこの抵抗性がしがなくないがしかしホリーであるならば「それは軽くない」ということは誤っていない; fact1 -> int4: この抵抗性はしがなくないけれどそれはホリーである; int3 & int4 -> int5: この抵抗性は軽くない; int2 & int5 -> int6: この抵抗性は軽いということはないがしかし修繕する; int6 & fact2 -> int7: あの宝石類は引き出し易くない; int7 & fact7 -> int8: そのベンチャービジネスは引き出し易いしそれにそれは八日条だ; int8 -> int9: そのベンチャービジネスは引き出し易い; int9 & fact12 -> int10: 「その新聞散らしは電気分解でないがしかし僅差だ」ということは事実でない; int10 & fact9 -> hypothesis; __PROVED__
事実1: すべての物はしがなくない一方でホリーである
事実2: もしもこの抵抗性が軽いということはないけど修繕するとするとあの宝石類は引き出し易くない
事実3: もし仮に「あの宝石類は軽くない」ということは成り立つとすると「この抵抗性は修繕しないがそれは飛沫感染である」ということは誤りだ
事実4: あのだらしは出勤するし繋がり易い
事実5: もし仮にしがなくないものはホリーならば「それは軽くない」ということは確かである
事実6: 「「僅差だし引き出し易くない」ということは確かだということはない」物はある
事実7: もしあの宝石類が引き出し易くないとするとそのベンチャービジネスは引き出し易いしまた八日条である
事実8: もしもあの宝石類が引き出し易くないとするとそのベンチャービジネスは八日条だ
事実9: もし仮に「その新聞散らしは電気分解でないがしかし僅差だ」ということは成り立たないならその地区レベルは二千年度でない
事実10: この水掛け論は出勤するし加えて飛沫感染だ
事実11: もしそのベンチャービジネスは引き出し易いとすれば「その新聞散らしは電気分解でそれに僅差である」ということは成り立たない
事実12: もし仮にそのベンチャービジネスは引き出し易いとすれば「その新聞散らしは電気分解だということはないがしかし僅差である」ということは偽である
事実13: もしもこの水掛け論が出勤するとしたらこの抵抗性は修繕する

仮説: その地区レベルは二千年度でない
1. 事実10から、推論1: "この水掛け論は出勤する"が導かれる
2. 推論1と事実13から、推論2: "この抵抗性は修繕する"が導かれる
3. 事実5から、推論3: "もし仮にこの抵抗性がしがなくないがしかしホリーであるならば「それは軽くない」ということは誤っていない"が導かれる
4. 事実1から、推論4: "この抵抗性はしがなくないけれどそれはホリーである"が導かれる
5. 推論3と推論4から、推論5: "この抵抗性は軽くない"が導かれる
6. 推論2と推論5から、推論6: "この抵抗性は軽いということはないがしかし修繕する"が導かれる
7. 推論6と事実2から、推論7: "あの宝石類は引き出し易くない"が導かれる
8. 推論7と事実7から、推論8: "そのベンチャービジネスは引き出し易いしそれにそれは八日条だ"が導かれる
9. 推論8から、推論9: "そのベンチャービジネスは引き出し易い"が導かれる
10. 推論9と事実12から、推論10: "「その新聞散らしは電気分解でないがしかし僅差だ」ということは事実でない"が導かれる
11. 推論10と事実9から、仮説が導かれる

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