その立ち食いは馴染み深い
fact1: 仮に「その立ち食いは作らすし養護する」ということは成り立たないなら作らさない fact2: あるものは無理無くないなら「それは作らすし加えて養護する」ということは成り立たない fact3: その領土争いは馴染み深いということはない fact4: もしなにかは馴染み深くないとすると「「それは掘り進めるしさらに養護する」ということは偽でない」ということは成り立たない fact5: もしなにかは掘り進めないとすれば「施設するしそれは立ち回る」ということは誤りである fact6: もしもあの圃場が無理無くないとすればそれは裁判記録であるし加えて作らす fact7: もし「なにがしかの物は掘り進めるししかもそれは養護する」ということは誤りであるとしたら掘り進めるということはない fact8: その昨年は掘り進めない fact9: その看護実践は施設するし燃やし尽くす fact10: あの時論は掘り進めない fact11: もしその領土争いが養護するがしかしそれが作らさないとすればその立ち食いは馴染み深いということはない fact12: その領土争いは無理無い fact13: もし仮にその昨年が施設するならその領土争いは作らさない fact14: その領土争いは養護するし加えて無理無い fact15: 仮に「その昨年は施設しないけれど立ち回る」ということは成り立たないならばその領土争いは作らさない fact16: もしも「なにがしかのものは掘り進めるがしかしそれは漢字文化圏だということはない」ということは間違っているとしたら漢字文化圏である fact17: もしもなんらかのものは掘り進めないならば「施設しないが立ち回る」ということは誤りだ fact18: 「掘り進めない」ものはあるとすると「あの圃場は掘り進めるが漢字文化圏でない」ということは誤りである
fact17 -> int1: もし仮に「その昨年は掘り進めない」ということは誤りでないとすれば「施設しないしまたそれは立ち回る」ということは誤っている; int1 & fact8 -> int2: 「その昨年は施設しないけれど立ち回る」ということは誤りである; int2 & fact15 -> int3: その領土争いは作らさない; fact14 -> int4: その領土争いは養護する; int3 & int4 -> int5: その領土争いは養護するけれどそれは作らさない; int5 & fact11 -> hypothesis;
あの圃場は漢字文化圏であるしそれは裁判記録である
fact19 -> int6: もしも「あの圃場は掘り進めるがしかしそれは漢字文化圏でない」ということは成り立たないとすると漢字文化圏だ; fact20 -> int7: 「その領土争いは掘り進めるし養護する」ということは嘘であるならば掘り進めるということはない; fact24 -> int8: もしその領土争いは馴染み深くないとしたら「それは掘り進めるしまた養護する」ということは真実でない; int8 & fact22 -> int9: 「その領土争いは掘り進めるし更に養護する」ということは成り立つということはない; int7 & int9 -> int10: その領土争いは掘り進めない; int10 -> int11: 「掘り進めない」ものはある; int11 & fact23 -> int12: 「あの圃場は掘り進める一方で漢字文化圏だということはない」ということは成り立たない; int6 & int12 -> int13: あの圃場は漢字文化圏だ;
$facts$ = fact1: 仮に「その立ち食いは作らすし養護する」ということは成り立たないなら作らさない fact2: あるものは無理無くないなら「それは作らすし加えて養護する」ということは成り立たない fact3: その領土争いは馴染み深いということはない fact4: もしなにかは馴染み深くないとすると「「それは掘り進めるしさらに養護する」ということは偽でない」ということは成り立たない fact5: もしなにかは掘り進めないとすれば「施設するしそれは立ち回る」ということは誤りである fact6: もしもあの圃場が無理無くないとすればそれは裁判記録であるし加えて作らす fact7: もし「なにがしかの物は掘り進めるししかもそれは養護する」ということは誤りであるとしたら掘り進めるということはない fact8: その昨年は掘り進めない fact9: その看護実践は施設するし燃やし尽くす fact10: あの時論は掘り進めない fact11: もしその領土争いが養護するがしかしそれが作らさないとすればその立ち食いは馴染み深いということはない fact12: その領土争いは無理無い fact13: もし仮にその昨年が施設するならその領土争いは作らさない fact14: その領土争いは養護するし加えて無理無い fact15: 仮に「その昨年は施設しないけれど立ち回る」ということは成り立たないならばその領土争いは作らさない fact16: もしも「なにがしかのものは掘り進めるがしかしそれは漢字文化圏だということはない」ということは間違っているとしたら漢字文化圏である fact17: もしもなんらかのものは掘り進めないならば「施設しないが立ち回る」ということは誤りだ fact18: 「掘り進めない」ものはあるとすると「あの圃場は掘り進めるが漢字文化圏でない」ということは誤りである ; $hypothesis$ = その立ち食いは馴染み深い ; $proof$ = 
fact17 -> int1: もし仮に「その昨年は掘り進めない」ということは誤りでないとすれば「施設しないしまたそれは立ち回る」ということは誤っている; int1 & fact8 -> int2: 「その昨年は施設しないけれど立ち回る」ということは誤りである; int2 & fact15 -> int3: その領土争いは作らさない; fact14 -> int4: その領土争いは養護する; int3 & int4 -> int5: その領土争いは養護するけれどそれは作らさない; int5 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮に「その立ち食いは作らすし養護する」ということは成り立たないなら作らさない
事実2: あるものは無理無くないなら「それは作らすし加えて養護する」ということは成り立たない
事実3: その領土争いは馴染み深いということはない
事実4: もしなにかは馴染み深くないとすると「「それは掘り進めるしさらに養護する」ということは偽でない」ということは成り立たない
事実5: もしなにかは掘り進めないとすれば「施設するしそれは立ち回る」ということは誤りである
事実6: もしもあの圃場が無理無くないとすればそれは裁判記録であるし加えて作らす
事実7: もし「なにがしかの物は掘り進めるししかもそれは養護する」ということは誤りであるとしたら掘り進めるということはない
事実8: その昨年は掘り進めない
事実9: その看護実践は施設するし燃やし尽くす
事実10: あの時論は掘り進めない
事実11: もしその領土争いが養護するがしかしそれが作らさないとすればその立ち食いは馴染み深いということはない
事実12: その領土争いは無理無い
事実13: もし仮にその昨年が施設するならその領土争いは作らさない
事実14: その領土争いは養護するし加えて無理無い
事実15: 仮に「その昨年は施設しないけれど立ち回る」ということは成り立たないならばその領土争いは作らさない
事実16: もしも「なにがしかのものは掘り進めるがしかしそれは漢字文化圏だということはない」ということは間違っているとしたら漢字文化圏である
事実17: もしもなんらかのものは掘り進めないならば「施設しないが立ち回る」ということは誤りだ
事実18: 「掘り進めない」ものはあるとすると「あの圃場は掘り進めるが漢字文化圏でない」ということは誤りである

仮説: その立ち食いは馴染み深い
1. 事実17から、推論1: "もし仮に「その昨年は掘り進めない」ということは誤りでないとすれば「施設しないしまたそれは立ち回る」ということは誤っている"が導かれる
2. 推論1と事実8から、推論2: "「その昨年は施設しないけれど立ち回る」ということは誤りである"が導かれる
3. 推論2と事実15から、推論3: "その領土争いは作らさない"が導かれる
4. 事実14から、推論4: "その領土争いは養護する"が導かれる
5. 推論3と推論4から、推論5: "その領土争いは養護するけれどそれは作らさない"が導かれる
6. 推論5と事実11から、仮説が否定される

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