そのＣ棟は中間部である一方でＩＰデータグラムでない
fact1: あの演出意図は柔いしかつ広がり難い fact2: 仮に「その二百度以上は残り易くないかまたはそれは許し難しということはないかあるいは両方ともだ」ということは成り立たないとするとそのＣ棟は通信ネットワークでない fact3: もしこの当大学塾が修正出来るならばあのカジュアルウォーターは修正出来ない fact4: もしもなにがしかのものは通信ネットワークでないとすれば「それは中間部であるししかもＩＰデータグラムである」ということは嘘だ fact5: 「この当大学塾は抜き難いが通信ネットワークでない」ということは偽ならそれは通信ネットワークだ fact6: 仮になんらかの物は爺ちゃんならば「それは修正出来る」ということは確かである fact7: もし仮に「その二百度以上は残り易いかあるいはそれは許し難くないかあるいはどちらもだ」ということは偽であるとしたらそのＣ棟は通信ネットワークでない fact8: もしそのＣ棟は通信ネットワークでないなら「それは中間部であるしＩＰデータグラムだ」ということは間違いである fact9: もしもあの演出意図が広がり難いとしたらこの当大学塾は爺ちゃんである fact10: もしこのカジュアルウォーターは許し難しならば「その二百度以上は残り易くないかもしくは許し難くないかもしくは両方である」ということは誤りである fact11: あの演出意図は柔い fact12: この当大学塾が修正出来るならこのカジュアルウォーターは許し難し一方で修正出来ない fact13: このカジュアルウォーターは修正出来ない fact14: 「この当大学塾は抜き難いけど通信ネットワークでない」ということは成り立つということはない fact15: 柔いものは中間部だがしかしＩＰデータグラムでない fact16: 「「そのＣ棟は中間部であるし更にＩＰデータグラムだ」ということは成り立たない」ということは本当だ fact17: もしあの演出意図が広がり難くない一方でそれが爺ちゃんであるとすればそのＣ棟は柔い fact18: もし仮になにかは修正出来るとしたらそれは広がり難くないが爺ちゃんである fact19: もしなにがしかのものは通信ネットワークでないならば「中間部だけれどＩＰデータグラムでない」ということは成り立たない fact20: その改善提案は通信ネットワークである fact21: 仮に「その二百度以上は残り易いということはないかそれは許し難しかあるいは両方ともだ」ということは間違いであるとするとそのＣ棟は通信ネットワークでない
fact1 -> int1: あの演出意図は広がり難い; int1 & fact9 -> int2: この当大学塾は爺ちゃんである; fact6 -> int3: 仮にこの当大学塾が爺ちゃんだとすれば修正出来る; int2 & int3 -> int4: この当大学塾は修正出来る; int4 & fact12 -> int5: このカジュアルウォーターは許し難しけれどそれは修正出来ない; int5 -> int6: このカジュアルウォーターは許し難し; int6 & fact10 -> int7: 「その二百度以上は残り易いということはないかそれは許し難くない」ということは事実と異なる; int7 & fact2 -> int8: そのＣ棟は通信ネットワークでない; fact19 -> int9: もしそのＣ棟は通信ネットワークでないとすると「それは中間部であるけどＩＰデータグラムであるということはない」ということは間違っている; int8 & int9 -> hypothesis;
「そのＣ棟は中間部である一方でＩＰデータグラムでない」ということは正しい
fact25 -> int10: 「そのＣ棟は柔い」ということは成り立つとすれば中間部であるしそれはＩＰデータグラムでない; fact24 -> int11: もし仮にあの演出意図は修正出来るとすれば「それは広がり難くないが爺ちゃんだ」ということは正しい; fact22 & fact23 -> int12: この当大学塾は通信ネットワークだ; int12 -> int13: 「通信ネットワークな」物はある;
$facts$ = fact1: あの演出意図は柔いしかつ広がり難い fact2: 仮に「その二百度以上は残り易くないかまたはそれは許し難しということはないかあるいは両方ともだ」ということは成り立たないとするとそのＣ棟は通信ネットワークでない fact3: もしこの当大学塾が修正出来るならばあのカジュアルウォーターは修正出来ない fact4: もしもなにがしかのものは通信ネットワークでないとすれば「それは中間部であるししかもＩＰデータグラムである」ということは嘘だ fact5: 「この当大学塾は抜き難いが通信ネットワークでない」ということは偽ならそれは通信ネットワークだ fact6: 仮になんらかの物は爺ちゃんならば「それは修正出来る」ということは確かである fact7: もし仮に「その二百度以上は残り易いかあるいはそれは許し難くないかあるいはどちらもだ」ということは偽であるとしたらそのＣ棟は通信ネットワークでない fact8: もしそのＣ棟は通信ネットワークでないなら「それは中間部であるしＩＰデータグラムだ」ということは間違いである fact9: もしもあの演出意図が広がり難いとしたらこの当大学塾は爺ちゃんである fact10: もしこのカジュアルウォーターは許し難しならば「その二百度以上は残り易くないかもしくは許し難くないかもしくは両方である」ということは誤りである fact11: あの演出意図は柔い fact12: この当大学塾が修正出来るならこのカジュアルウォーターは許し難し一方で修正出来ない fact13: このカジュアルウォーターは修正出来ない fact14: 「この当大学塾は抜き難いけど通信ネットワークでない」ということは成り立つということはない fact15: 柔いものは中間部だがしかしＩＰデータグラムでない fact16: 「「そのＣ棟は中間部であるし更にＩＰデータグラムだ」ということは成り立たない」ということは本当だ fact17: もしあの演出意図が広がり難くない一方でそれが爺ちゃんであるとすればそのＣ棟は柔い fact18: もし仮になにかは修正出来るとしたらそれは広がり難くないが爺ちゃんである fact19: もしなにがしかのものは通信ネットワークでないならば「中間部だけれどＩＰデータグラムでない」ということは成り立たない fact20: その改善提案は通信ネットワークである fact21: 仮に「その二百度以上は残り易いということはないかそれは許し難しかあるいは両方ともだ」ということは間違いであるとするとそのＣ棟は通信ネットワークでない ; $hypothesis$ = そのＣ棟は中間部である一方でＩＰデータグラムでない ; $proof$ = 
fact1 -> int1: あの演出意図は広がり難い; int1 & fact9 -> int2: この当大学塾は爺ちゃんである; fact6 -> int3: 仮にこの当大学塾が爺ちゃんだとすれば修正出来る; int2 & int3 -> int4: この当大学塾は修正出来る; int4 & fact12 -> int5: このカジュアルウォーターは許し難しけれどそれは修正出来ない; int5 -> int6: このカジュアルウォーターは許し難し; int6 & fact10 -> int7: 「その二百度以上は残り易いということはないかそれは許し難くない」ということは事実と異なる; int7 & fact2 -> int8: そのＣ棟は通信ネットワークでない; fact19 -> int9: もしそのＣ棟は通信ネットワークでないとすると「それは中間部であるけどＩＰデータグラムであるということはない」ということは間違っている; int8 & int9 -> hypothesis; __DISPROVED__
事実1: あの演出意図は柔いしかつ広がり難い
事実2: 仮に「その二百度以上は残り易くないかまたはそれは許し難しということはないかあるいは両方ともだ」ということは成り立たないとするとそのＣ棟は通信ネットワークでない
事実3: もしこの当大学塾が修正出来るならばあのカジュアルウォーターは修正出来ない
事実4: もしもなにがしかのものは通信ネットワークでないとすれば「それは中間部であるししかもＩＰデータグラムである」ということは嘘だ
事実5: 「この当大学塾は抜き難いが通信ネットワークでない」ということは偽ならそれは通信ネットワークだ
事実6: 仮になんらかの物は爺ちゃんならば「それは修正出来る」ということは確かである
事実7: もし仮に「その二百度以上は残り易いかあるいはそれは許し難くないかあるいはどちらもだ」ということは偽であるとしたらそのＣ棟は通信ネットワークでない
事実8: もしそのＣ棟は通信ネットワークでないなら「それは中間部であるしＩＰデータグラムだ」ということは間違いである
事実9: もしもあの演出意図が広がり難いとしたらこの当大学塾は爺ちゃんである
事実10: もしこのカジュアルウォーターは許し難しならば「その二百度以上は残り易くないかもしくは許し難くないかもしくは両方である」ということは誤りである
事実11: あの演出意図は柔い
事実12: この当大学塾が修正出来るならこのカジュアルウォーターは許し難し一方で修正出来ない
事実13: このカジュアルウォーターは修正出来ない
事実14: 「この当大学塾は抜き難いけど通信ネットワークでない」ということは成り立つということはない
事実15: 柔いものは中間部だがしかしＩＰデータグラムでない
事実16: 「「そのＣ棟は中間部であるし更にＩＰデータグラムだ」ということは成り立たない」ということは本当だ
事実17: もしあの演出意図が広がり難くない一方でそれが爺ちゃんであるとすればそのＣ棟は柔い
事実18: もし仮になにかは修正出来るとしたらそれは広がり難くないが爺ちゃんである
事実19: もしなにがしかのものは通信ネットワークでないならば「中間部だけれどＩＰデータグラムでない」ということは成り立たない
事実20: その改善提案は通信ネットワークである
事実21: 仮に「その二百度以上は残り易いということはないかそれは許し難しかあるいは両方ともだ」ということは間違いであるとするとそのＣ棟は通信ネットワークでない

仮説: そのＣ棟は中間部である一方でＩＰデータグラムでない
1. 事実1から、推論1: "あの演出意図は広がり難い"が導かれる
2. 推論1と事実9から、推論2: "この当大学塾は爺ちゃんである"が導かれる
3. 事実6から、推論3: "仮にこの当大学塾が爺ちゃんだとすれば修正出来る"が導かれる
4. 推論2と推論3から、推論4: "この当大学塾は修正出来る"が導かれる
5. 推論4と事実12から、推論5: "このカジュアルウォーターは許し難しけれどそれは修正出来ない"が導かれる
6. 推論5から、推論6: "このカジュアルウォーターは許し難し"が導かれる
7. 推論6と事実10から、推論7: "「その二百度以上は残り易いということはないかそれは許し難くない」ということは事実と異なる"が導かれる
8. 推論7と事実2から、推論8: "そのＣ棟は通信ネットワークでない"が導かれる
9. 事実19から、推論9: "もしそのＣ棟は通信ネットワークでないとすると「それは中間部であるけどＩＰデータグラムであるということはない」ということは間違っている"が導かれる
10. 推論8と推論9から、仮説が否定される

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