その平定は伝え難くない
fact1: もしも「なにかは使い易いしその上それは動き難い」ということは間違っているとしたら動き難くない fact2: 仮にある物が使い易いならばそれは伝え難い fact3: 「その平定は仕方無い」ということは事実だ fact4: あのマルス百三は伝え難い fact5: もしあのネットワークシステムが選ぶならあの陸軍側は高度成長時代だ fact6: この三栗物語は気高し fact7: 「あの対中ＯＤＡはＣＲＭであるか十二イマーム派でないか両方ともである」ということは嘘である fact8: 仮に「何かは気高しないがしかし人工知能だ」ということは成り立つということはないとしたらそれは伝え難くない fact9: 「もしもなんらかの物は仕方無いとすると「それは高度成長時代だ」ということは嘘でない」ということは誤っていない fact10: あのネットワークシステムは使い易くない fact11: もしも「あのネットワークシステムは選ぶ」ということは真実ならば「あの陸軍側は動き難いかあるいは選ばないか両方だ」ということは成り立たない fact12: もしあの対中ＯＤＡが人工知能であるとするとあのネットワークシステムは仕方無い fact13: もし「あの対中ＯＤＡは動き難い」ということは本当ならあの陸軍側は気高し fact14: 「仮にあのネットワークシステムが選ぶとするとあの陸軍側は選ぶ」ということは成り立つ fact15: もしあの対中ＯＤＡが選ばないししかも高度成長時代でないならばその平定は仕方無くない fact16: もしも「あの陸軍側は動き難いか選ぶということはないかもしくは両方ともだ」ということは成り立たないならばあの平定は使い易い fact17: もし仮にあの対中ＯＤＡが気高しならあのネットワークシステムは仕方無い fact18: あの陸軍側は選ぶ fact19: なにかは仕方無くないとしたら「気高しということはないしその上それは人工知能である」ということは偽だ fact20: 「あの陸軍側は水っぽいかそれは使い易くないかまたはどちらもだ」ということは嘘だ fact21: もしも「「あの陸軍側は動き難いか選ぶ」ということは成り立たない」ということは成り立つとするとその平定は使い易い fact22: 高度成長時代は選ぶ fact23: あの対中ＯＤＡは気高しか人工知能である
fact23 & fact17 & fact12 -> int1: あのネットワークシステムは仕方無い; fact9 -> int2: 「あのネットワークシステムが仕方無いならばあのネットワークシステムは高度成長時代である」ということは成り立つ; int1 & int2 -> int3: 「あのネットワークシステムは高度成長時代でない」ということは成り立たない; fact22 -> int4: もし仮にあのネットワークシステムが高度成長時代だとすると選ぶ; int3 & int4 -> int5: あのネットワークシステムは選ぶ; int5 & fact11 -> int6: 「あの陸軍側は動き難いかもしくはそれは選ばないか両方だ」ということは間違っている; int6 & fact16 -> int7: 「その平定は使い易い」ということは確かだ; fact2 -> int8: もしその平定が使い易いならばそれは伝え難い; int7 & int8 -> hypothesis;
「その平定は伝え難くない」ということは成り立つ
fact27 -> int9: 仮に「その平定は気高しないが人工知能である」ということは嘘だとすれば「それは伝え難くない」ということは本当だ; fact25 -> int10: もし仮にその平定は仕方無くないとしたら「それは気高しないし人工知能だ」ということは成り立たない; fact24 -> int11: もしも「あの陸軍側は使い易いしかつそれは動き難い」ということは偽であるとしたら動き難くない; fact26 -> int12: 「使い易くない」ものはある;
$facts$ = fact1: もしも「なにかは使い易いしその上それは動き難い」ということは間違っているとしたら動き難くない fact2: 仮にある物が使い易いならばそれは伝え難い fact3: 「その平定は仕方無い」ということは事実だ fact4: あのマルス百三は伝え難い fact5: もしあのネットワークシステムが選ぶならあの陸軍側は高度成長時代だ fact6: この三栗物語は気高し fact7: 「あの対中ＯＤＡはＣＲＭであるか十二イマーム派でないか両方ともである」ということは嘘である fact8: 仮に「何かは気高しないがしかし人工知能だ」ということは成り立つということはないとしたらそれは伝え難くない fact9: 「もしもなんらかの物は仕方無いとすると「それは高度成長時代だ」ということは嘘でない」ということは誤っていない fact10: あのネットワークシステムは使い易くない fact11: もしも「あのネットワークシステムは選ぶ」ということは真実ならば「あの陸軍側は動き難いかあるいは選ばないか両方だ」ということは成り立たない fact12: もしあの対中ＯＤＡが人工知能であるとするとあのネットワークシステムは仕方無い fact13: もし「あの対中ＯＤＡは動き難い」ということは本当ならあの陸軍側は気高し fact14: 「仮にあのネットワークシステムが選ぶとするとあの陸軍側は選ぶ」ということは成り立つ fact15: もしあの対中ＯＤＡが選ばないししかも高度成長時代でないならばその平定は仕方無くない fact16: もしも「あの陸軍側は動き難いか選ぶということはないかもしくは両方ともだ」ということは成り立たないならばあの平定は使い易い fact17: もし仮にあの対中ＯＤＡが気高しならあのネットワークシステムは仕方無い fact18: あの陸軍側は選ぶ fact19: なにかは仕方無くないとしたら「気高しということはないしその上それは人工知能である」ということは偽だ fact20: 「あの陸軍側は水っぽいかそれは使い易くないかまたはどちらもだ」ということは嘘だ fact21: もしも「「あの陸軍側は動き難いか選ぶ」ということは成り立たない」ということは成り立つとするとその平定は使い易い fact22: 高度成長時代は選ぶ fact23: あの対中ＯＤＡは気高しか人工知能である ; $hypothesis$ = その平定は伝え難くない ; $proof$ = 
fact23 & fact17 & fact12 -> int1: あのネットワークシステムは仕方無い; fact9 -> int2: 「あのネットワークシステムが仕方無いならばあのネットワークシステムは高度成長時代である」ということは成り立つ; int1 & int2 -> int3: 「あのネットワークシステムは高度成長時代でない」ということは成り立たない; fact22 -> int4: もし仮にあのネットワークシステムが高度成長時代だとすると選ぶ; int3 & int4 -> int5: あのネットワークシステムは選ぶ; int5 & fact11 -> int6: 「あの陸軍側は動き難いかもしくはそれは選ばないか両方だ」ということは間違っている; int6 & fact16 -> int7: 「その平定は使い易い」ということは確かだ; fact2 -> int8: もしその平定が使い易いならばそれは伝え難い; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは使い易いしその上それは動き難い」ということは間違っているとしたら動き難くない
事実2: 仮にある物が使い易いならばそれは伝え難い
事実3: 「その平定は仕方無い」ということは事実だ
事実4: あのマルス百三は伝え難い
事実5: もしあのネットワークシステムが選ぶならあの陸軍側は高度成長時代だ
事実6: この三栗物語は気高し
事実7: 「あの対中ＯＤＡはＣＲＭであるか十二イマーム派でないか両方ともである」ということは嘘である
事実8: 仮に「何かは気高しないがしかし人工知能だ」ということは成り立つということはないとしたらそれは伝え難くない
事実9: 「もしもなんらかの物は仕方無いとすると「それは高度成長時代だ」ということは嘘でない」ということは誤っていない
事実10: あのネットワークシステムは使い易くない
事実11: もしも「あのネットワークシステムは選ぶ」ということは真実ならば「あの陸軍側は動き難いかあるいは選ばないか両方だ」ということは成り立たない
事実12: もしあの対中ＯＤＡが人工知能であるとするとあのネットワークシステムは仕方無い
事実13: もし「あの対中ＯＤＡは動き難い」ということは本当ならあの陸軍側は気高し
事実14: 「仮にあのネットワークシステムが選ぶとするとあの陸軍側は選ぶ」ということは成り立つ
事実15: もしあの対中ＯＤＡが選ばないししかも高度成長時代でないならばその平定は仕方無くない
事実16: もしも「あの陸軍側は動き難いか選ぶということはないかもしくは両方ともだ」ということは成り立たないならばあの平定は使い易い
事実17: もし仮にあの対中ＯＤＡが気高しならあのネットワークシステムは仕方無い
事実18: あの陸軍側は選ぶ
事実19: なにかは仕方無くないとしたら「気高しということはないしその上それは人工知能である」ということは偽だ
事実20: 「あの陸軍側は水っぽいかそれは使い易くないかまたはどちらもだ」ということは嘘だ
事実21: もしも「「あの陸軍側は動き難いか選ぶ」ということは成り立たない」ということは成り立つとするとその平定は使い易い
事実22: 高度成長時代は選ぶ
事実23: あの対中ＯＤＡは気高しか人工知能である

仮説: その平定は伝え難くない
1. 事実23と事実17と事実12から、推論1: "あのネットワークシステムは仕方無い"が導かれる
2. 事実9から、推論2: "「あのネットワークシステムが仕方無いならばあのネットワークシステムは高度成長時代である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "「あのネットワークシステムは高度成長時代でない」ということは成り立たない"が導かれる
4. 事実22から、推論4: "もし仮にあのネットワークシステムが高度成長時代だとすると選ぶ"が導かれる
5. 推論3と推論4から、推論5: "あのネットワークシステムは選ぶ"が導かれる
6. 推論5と事実11から、推論6: "「あの陸軍側は動き難いかもしくはそれは選ばないか両方だ」ということは間違っている"が導かれる
7. 推論6と事実16から、推論7: "「その平定は使い易い」ということは確かだ"が導かれる
8. 事実2から、推論8: "もしその平定が使い易いならばそれは伝え難い"が導かれる
9. 推論7と推論8から、仮説が否定される

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