あの七竈は継続勤務するかあるいは尊くないかもしくは両方ともだ
fact1: もしこの持ち合いが偏り易いがしかしイタリア王国でないならばその流域管理システムは時機である fact2: この持ち合いが偏り易いとすればあの七竈は偏り易い fact3: もしあの七竈は不自然さであるならば「継続勤務するか尊くないかもしくは両方である」ということは成り立つということはない fact4: なにかは時機だし加えて不自然さだ fact5: もし何かはＰＲインターナショナルでないならば尊いということはない fact6: 「ＰＲインターナショナルでない」ものはある fact7: もし仮に何かはＰＲインターナショナルでないとするとこの持ち合いは偏り易くないし更にそれは時機でない fact8: もし仮にとある物がイタリア王国でないがしかし余興であるとすればあの七竈は不自然さだ fact9: その流域管理システムはＰＲインターナショナルだ fact10: 「偏り易いものは時機であるけどＰＲインターナショナルでない」ということは事実と異ならない fact11: その所有権留保は深刻化しない fact12: 「偏り易くないけれど時機な」ものはある fact13: あの七竈は余興だ fact14: その流域管理システムはイタリア王国でない fact15: この持ち合いが偏り易くなくて加えて時機でないならその流域管理システムは余興である fact16: あの七竈は職人階層でない一方でそれはパスする fact17: とある物は余興だ fact18: もし仮にその流域管理システムは余興だけれど時機でないならば偏り易くない
fact6 & fact7 -> int1: この持ち合いは偏り易くないしそれは時機でない; int1 & fact15 -> int2: その流域管理システムは余興である; int2 & fact14 -> int3: その流域管理システムはイタリア王国でないけど余興だ; int3 -> int4: あるものはイタリア王国でないけれど余興である; int4 & fact8 -> int5: あの七竈は不自然さだ; int5 & fact3 -> hypothesis;
あの七竈は継続勤務するか尊いということはないかあるいはどちらもである
fact19 -> int6: もしもこの持ち合いはＰＲインターナショナルであるということはないならそれは尊くない;
$facts$ = fact1: もしこの持ち合いが偏り易いがしかしイタリア王国でないならばその流域管理システムは時機である fact2: この持ち合いが偏り易いとすればあの七竈は偏り易い fact3: もしあの七竈は不自然さであるならば「継続勤務するか尊くないかもしくは両方である」ということは成り立つということはない fact4: なにかは時機だし加えて不自然さだ fact5: もし何かはＰＲインターナショナルでないならば尊いということはない fact6: 「ＰＲインターナショナルでない」ものはある fact7: もし仮に何かはＰＲインターナショナルでないとするとこの持ち合いは偏り易くないし更にそれは時機でない fact8: もし仮にとある物がイタリア王国でないがしかし余興であるとすればあの七竈は不自然さだ fact9: その流域管理システムはＰＲインターナショナルだ fact10: 「偏り易いものは時機であるけどＰＲインターナショナルでない」ということは事実と異ならない fact11: その所有権留保は深刻化しない fact12: 「偏り易くないけれど時機な」ものはある fact13: あの七竈は余興だ fact14: その流域管理システムはイタリア王国でない fact15: この持ち合いが偏り易くなくて加えて時機でないならその流域管理システムは余興である fact16: あの七竈は職人階層でない一方でそれはパスする fact17: とある物は余興だ fact18: もし仮にその流域管理システムは余興だけれど時機でないならば偏り易くない ; $hypothesis$ = あの七竈は継続勤務するかあるいは尊くないかもしくは両方ともだ ; $proof$ = 
fact6 & fact7 -> int1: この持ち合いは偏り易くないしそれは時機でない; int1 & fact15 -> int2: その流域管理システムは余興である; int2 & fact14 -> int3: その流域管理システムはイタリア王国でないけど余興だ; int3 -> int4: あるものはイタリア王国でないけれど余興である; int4 & fact8 -> int5: あの七竈は不自然さだ; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もしこの持ち合いが偏り易いがしかしイタリア王国でないならばその流域管理システムは時機である
事実2: この持ち合いが偏り易いとすればあの七竈は偏り易い
事実3: もしあの七竈は不自然さであるならば「継続勤務するか尊くないかもしくは両方である」ということは成り立つということはない
事実4: なにかは時機だし加えて不自然さだ
事実5: もし何かはＰＲインターナショナルでないならば尊いということはない
事実6: 「ＰＲインターナショナルでない」ものはある
事実7: もし仮に何かはＰＲインターナショナルでないとするとこの持ち合いは偏り易くないし更にそれは時機でない
事実8: もし仮にとある物がイタリア王国でないがしかし余興であるとすればあの七竈は不自然さだ
事実9: その流域管理システムはＰＲインターナショナルだ
事実10: 「偏り易いものは時機であるけどＰＲインターナショナルでない」ということは事実と異ならない
事実11: その所有権留保は深刻化しない
事実12: 「偏り易くないけれど時機な」ものはある
事実13: あの七竈は余興だ
事実14: その流域管理システムはイタリア王国でない
事実15: この持ち合いが偏り易くなくて加えて時機でないならその流域管理システムは余興である
事実16: あの七竈は職人階層でない一方でそれはパスする
事実17: とある物は余興だ
事実18: もし仮にその流域管理システムは余興だけれど時機でないならば偏り易くない

仮説: あの七竈は継続勤務するかあるいは尊くないかもしくは両方ともだ
1. 事実6と事実7から、推論1: "この持ち合いは偏り易くないしそれは時機でない"が導かれる
2. 推論1と事実15から、推論2: "その流域管理システムは余興である"が導かれる
3. 推論2と事実14から、推論3: "その流域管理システムはイタリア王国でないけど余興だ"が導かれる
4. 推論3から、推論4: "あるものはイタリア王国でないけれど余興である"が導かれる
5. 推論4と事実8から、推論5: "あの七竈は不自然さだ"が導かれる
6. 推論5と事実3から、仮説が否定される

よって、仮説が否定されました。