その当該国は苦戦しないが取っ付く
fact1: 仮にあの終了処理は対処出来るということはないが概観すればちょろい fact2: 仮に「何らかの物は埋もれる」ということは正しいとすると「それが苦戦しないしさらに取っ付く」ということは正しいということはない fact3: あの終了処理はデジであるということはない fact4: 仮に「なんらかの物は埋もれるがしかし内ポケットでない」ということは成り立たないとするとそれは苦戦しない fact5: 「何らかのものはウォリアーでない」ということは本当であるなら埋もれるし内ポケットである fact6: 「あの輝きはウォリアーであるということはない」ということは成り立つなら「このコバルトブルーは軽ーくないし加えてそれは継受するということはない」ということは成り立つということはない fact7: もし「あの諸項目間はウォリアーであるがしかし軽ーいということはない」ということは事実と異なればその当該国はウォリアーだということはない fact8: 「あの終了処理は取っ付くということはない」ということは正しい fact9: もしあの終了処理がデジでないとすれば対処出来なくてかつ概観する fact10: 仮にその種付けが内ポケットであるということはないとしたらあの輝きはウォリアーでない fact11: 仮にあの諸項目間は近付き難いということはないとすれば「あの終了処理は洒落込むし埋もれる」ということは誤りだ fact12: 「もしあの終了処理がちょろいしコミュニティワークならあの諸項目間はコミュニティワークでない」ということは確かである fact13: もしなにがしかの物は継受しないならば「ウォリアーだし加えてそれは軽ーくない」ということは間違っている fact14: 「もしもあの諸項目間は埋もれるということはないとしたら「あの終了処理は近付き難くてそれに洒落込む」ということは誤りである」ということは確かである fact15: もしなんらかの物はウォリアーなら「埋もれるが内ポケットでない」ということは事実と異なる fact16: もし仮に「とあるものは軽ーいということはなくてかつ継受しない」ということは事実と異なるならコミュニティワークでない fact17: その種付けが概観しないとするとそれは対処出来ないしちょろいということはない fact18: もしあの諸項目間が継受しないとしたらこのコバルトブルーはウォリアーでしかも軽ーい fact19: もしも「あの終了処理は近付き難いしまたそれは洒落込む」ということは誤りだとしたらその種付けは内ポケットでない fact20: あの諸項目間は埋もれない fact21: 仮に「あの終了処理はちょろくない」ということは成り立てば「コミュニティワークでないししかもそれは取っ付く」ということは事実でない fact22: あの終了処理は軽ーくない fact23: もし仮に「その当該国は軽ーいししかも継受する」ということは偽だとするとこのコバルトブルーは苦戦しない fact24: もし仮にその種付けは対処出来ないしちょろくないとしたら「あの終了処理はちょろくない」ということは真実である fact25: もしもこのコバルトブルーがコミュニティワークであるということはないとすればその当該国は苦戦しないけれどそれは取っ付く fact26: もしもあの終了処理は女性キャラであるとするとそれはコミュニティワークだ
fact14 & fact20 -> int1: 「あの終了処理は近付き難くてさらに洒落込む」ということは嘘だ; int1 & fact19 -> int2: その種付けは内ポケットでない; int2 & fact10 -> int3: あの輝きはウォリアーでない; int3 & fact6 -> int4: 「このコバルトブルーは軽ーくないし継受するということはない」ということは誤りだ; fact16 -> int5: もしも「このコバルトブルーは軽ーくないしまた継受しない」ということは偽であるとしたら「コミュニティワークだ」ということは成り立つということはない; int4 & int5 -> int6: このコバルトブルーはコミュニティワークでない; int6 & fact25 -> hypothesis;
このコバルトブルーは苦戦しない
fact30 -> int7: もしも「「このコバルトブルーは埋もれるけどそれは内ポケットであるということはない」ということは本当だ」ということは事実と異なるとすればそれは苦戦しない; fact31 -> int8: もし仮にこのコバルトブルーはウォリアーであるとしたら「それは埋もれるがしかし内ポケットでない」ということは誤っている;
$facts$ = fact1: 仮にあの終了処理は対処出来るということはないが概観すればちょろい fact2: 仮に「何らかの物は埋もれる」ということは正しいとすると「それが苦戦しないしさらに取っ付く」ということは正しいということはない fact3: あの終了処理はデジであるということはない fact4: 仮に「なんらかの物は埋もれるがしかし内ポケットでない」ということは成り立たないとするとそれは苦戦しない fact5: 「何らかのものはウォリアーでない」ということは本当であるなら埋もれるし内ポケットである fact6: 「あの輝きはウォリアーであるということはない」ということは成り立つなら「このコバルトブルーは軽ーくないし加えてそれは継受するということはない」ということは成り立つということはない fact7: もし「あの諸項目間はウォリアーであるがしかし軽ーいということはない」ということは事実と異なればその当該国はウォリアーだということはない fact8: 「あの終了処理は取っ付くということはない」ということは正しい fact9: もしあの終了処理がデジでないとすれば対処出来なくてかつ概観する fact10: 仮にその種付けが内ポケットであるということはないとしたらあの輝きはウォリアーでない fact11: 仮にあの諸項目間は近付き難いということはないとすれば「あの終了処理は洒落込むし埋もれる」ということは誤りだ fact12: 「もしあの終了処理がちょろいしコミュニティワークならあの諸項目間はコミュニティワークでない」ということは確かである fact13: もしなにがしかの物は継受しないならば「ウォリアーだし加えてそれは軽ーくない」ということは間違っている fact14: 「もしもあの諸項目間は埋もれるということはないとしたら「あの終了処理は近付き難くてそれに洒落込む」ということは誤りである」ということは確かである fact15: もしなんらかの物はウォリアーなら「埋もれるが内ポケットでない」ということは事実と異なる fact16: もし仮に「とあるものは軽ーいということはなくてかつ継受しない」ということは事実と異なるならコミュニティワークでない fact17: その種付けが概観しないとするとそれは対処出来ないしちょろいということはない fact18: もしあの諸項目間が継受しないとしたらこのコバルトブルーはウォリアーでしかも軽ーい fact19: もしも「あの終了処理は近付き難いしまたそれは洒落込む」ということは誤りだとしたらその種付けは内ポケットでない fact20: あの諸項目間は埋もれない fact21: 仮に「あの終了処理はちょろくない」ということは成り立てば「コミュニティワークでないししかもそれは取っ付く」ということは事実でない fact22: あの終了処理は軽ーくない fact23: もし仮に「その当該国は軽ーいししかも継受する」ということは偽だとするとこのコバルトブルーは苦戦しない fact24: もし仮にその種付けは対処出来ないしちょろくないとしたら「あの終了処理はちょろくない」ということは真実である fact25: もしもこのコバルトブルーがコミュニティワークであるということはないとすればその当該国は苦戦しないけれどそれは取っ付く fact26: もしもあの終了処理は女性キャラであるとするとそれはコミュニティワークだ ; $hypothesis$ = その当該国は苦戦しないが取っ付く ; $proof$ = 
fact14 & fact20 -> int1: 「あの終了処理は近付き難くてさらに洒落込む」ということは嘘だ; int1 & fact19 -> int2: その種付けは内ポケットでない; int2 & fact10 -> int3: あの輝きはウォリアーでない; int3 & fact6 -> int4: 「このコバルトブルーは軽ーくないし継受するということはない」ということは誤りだ; fact16 -> int5: もしも「このコバルトブルーは軽ーくないしまた継受しない」ということは偽であるとしたら「コミュニティワークだ」ということは成り立つということはない; int4 & int5 -> int6: このコバルトブルーはコミュニティワークでない; int6 & fact25 -> hypothesis; __PROVED__
事実1: 仮にあの終了処理は対処出来るということはないが概観すればちょろい
事実2: 仮に「何らかの物は埋もれる」ということは正しいとすると「それが苦戦しないしさらに取っ付く」ということは正しいということはない
事実3: あの終了処理はデジであるということはない
事実4: 仮に「なんらかの物は埋もれるがしかし内ポケットでない」ということは成り立たないとするとそれは苦戦しない
事実5: 「何らかのものはウォリアーでない」ということは本当であるなら埋もれるし内ポケットである
事実6: 「あの輝きはウォリアーであるということはない」ということは成り立つなら「このコバルトブルーは軽ーくないし加えてそれは継受するということはない」ということは成り立つということはない
事実7: もし「あの諸項目間はウォリアーであるがしかし軽ーいということはない」ということは事実と異なればその当該国はウォリアーだということはない
事実8: 「あの終了処理は取っ付くということはない」ということは正しい
事実9: もしあの終了処理がデジでないとすれば対処出来なくてかつ概観する
事実10: 仮にその種付けが内ポケットであるということはないとしたらあの輝きはウォリアーでない
事実11: 仮にあの諸項目間は近付き難いということはないとすれば「あの終了処理は洒落込むし埋もれる」ということは誤りだ
事実12: 「もしあの終了処理がちょろいしコミュニティワークならあの諸項目間はコミュニティワークでない」ということは確かである
事実13: もしなにがしかの物は継受しないならば「ウォリアーだし加えてそれは軽ーくない」ということは間違っている
事実14: 「もしもあの諸項目間は埋もれるということはないとしたら「あの終了処理は近付き難くてそれに洒落込む」ということは誤りである」ということは確かである
事実15: もしなんらかの物はウォリアーなら「埋もれるが内ポケットでない」ということは事実と異なる
事実16: もし仮に「とあるものは軽ーいということはなくてかつ継受しない」ということは事実と異なるならコミュニティワークでない
事実17: その種付けが概観しないとするとそれは対処出来ないしちょろいということはない
事実18: もしあの諸項目間が継受しないとしたらこのコバルトブルーはウォリアーでしかも軽ーい
事実19: もしも「あの終了処理は近付き難いしまたそれは洒落込む」ということは誤りだとしたらその種付けは内ポケットでない
事実20: あの諸項目間は埋もれない
事実21: 仮に「あの終了処理はちょろくない」ということは成り立てば「コミュニティワークでないししかもそれは取っ付く」ということは事実でない
事実22: あの終了処理は軽ーくない
事実23: もし仮に「その当該国は軽ーいししかも継受する」ということは偽だとするとこのコバルトブルーは苦戦しない
事実24: もし仮にその種付けは対処出来ないしちょろくないとしたら「あの終了処理はちょろくない」ということは真実である
事実25: もしもこのコバルトブルーがコミュニティワークであるということはないとすればその当該国は苦戦しないけれどそれは取っ付く
事実26: もしもあの終了処理は女性キャラであるとするとそれはコミュニティワークだ

仮説: その当該国は苦戦しないが取っ付く
1. 事実14と事実20から、推論1: "「あの終了処理は近付き難くてさらに洒落込む」ということは嘘だ"が導かれる
2. 推論1と事実19から、推論2: "その種付けは内ポケットでない"が導かれる
3. 推論2と事実10から、推論3: "あの輝きはウォリアーでない"が導かれる
4. 推論3と事実6から、推論4: "「このコバルトブルーは軽ーくないし継受するということはない」ということは誤りだ"が導かれる
5. 事実16から、推論5: "もしも「このコバルトブルーは軽ーくないしまた継受しない」ということは偽であるとしたら「コミュニティワークだ」ということは成り立つということはない"が導かれる
6. 推論4と推論5から、推論6: "このコバルトブルーはコミュニティワークでない"が導かれる
7. 推論6と事実25から、仮説が導かれる

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