この将棋同盟社は落下する
fact1: 限りはある fact2: なにかは法案化しない fact3: もし「何らかの物は守り抜かないけど食する」ということは成り立たないとすれば食しない fact4: もしその非漢字圏は食しないなら「あの困難性は悔い改めない」ということは正しい fact5: この将棋同盟社は法案化しないかあるいは接着分子であるということはないかもしくは両方である fact6: もし「なにかは食しない一方でそれは落下する」ということは成り立たないならば悔い改めない fact7: もしもとあるものが悔い改めるし限りであるとするとこの将棋同盟社は落下しない fact8: 「あの困難性は守り抜くけれど食しない」ということは間違いであるとしたらそれは悔い改める fact9: あの困難性が限りだしおまけに国庫補助金等だ fact10: 「あの困難性は守り抜くけど食しない」ということは事実と異なる fact11: あの困難性は国庫補助金等である fact12: もし仮にこの将棋同盟社は接着分子でないとすると御独りでない fact13: もしこの将棋同盟社が法案化しないとしたらそれは御独りでない fact14: この将棋同盟社が御独りでないならそれは限りであるし一仏である fact15: 仮に何かは悔い改めないならば「それは限りだということはないかもしくは国庫補助金等でないかもしくは両方だ」ということは誤りである fact16: もし仮になにがしかの物は御独りだとしたら「それは守り抜かない一方で食する」ということは成り立たない
fact9 -> int1: あの困難性は限りである; fact10 & fact8 -> int2: あの困難性は悔い改める; int1 & int2 -> int3: あの困難性は悔い改めるし限りである; int3 -> int4: 「悔い改めるし更に限りな」物はある; int4 & fact7 -> hypothesis;
この将棋同盟社は一仏であるしさらにそれは守り抜く
fact21 & fact20 & fact19 -> int5: この将棋同盟社は御独りでない; fact17 & int5 -> int6: この将棋同盟社は限りだし更に一仏だ; int6 -> int7: 「この将棋同盟社は一仏である」ということは事実である; fact18 -> int8: もし「その非漢字圏は食しないけれど落下する」ということは誤っているとしたら悔い改めない;
$facts$ = fact1: 限りはある fact2: なにかは法案化しない fact3: もし「何らかの物は守り抜かないけど食する」ということは成り立たないとすれば食しない fact4: もしその非漢字圏は食しないなら「あの困難性は悔い改めない」ということは正しい fact5: この将棋同盟社は法案化しないかあるいは接着分子であるということはないかもしくは両方である fact6: もし「なにかは食しない一方でそれは落下する」ということは成り立たないならば悔い改めない fact7: もしもとあるものが悔い改めるし限りであるとするとこの将棋同盟社は落下しない fact8: 「あの困難性は守り抜くけれど食しない」ということは間違いであるとしたらそれは悔い改める fact9: あの困難性が限りだしおまけに国庫補助金等だ fact10: 「あの困難性は守り抜くけど食しない」ということは事実と異なる fact11: あの困難性は国庫補助金等である fact12: もし仮にこの将棋同盟社は接着分子でないとすると御独りでない fact13: もしこの将棋同盟社が法案化しないとしたらそれは御独りでない fact14: この将棋同盟社が御独りでないならそれは限りであるし一仏である fact15: 仮に何かは悔い改めないならば「それは限りだということはないかもしくは国庫補助金等でないかもしくは両方だ」ということは誤りである fact16: もし仮になにがしかの物は御独りだとしたら「それは守り抜かない一方で食する」ということは成り立たない ; $hypothesis$ = この将棋同盟社は落下する ; $proof$ = 
fact9 -> int1: あの困難性は限りである; fact10 & fact8 -> int2: あの困難性は悔い改める; int1 & int2 -> int3: あの困難性は悔い改めるし限りである; int3 -> int4: 「悔い改めるし更に限りな」物はある; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 限りはある
事実2: なにかは法案化しない
事実3: もし「何らかの物は守り抜かないけど食する」ということは成り立たないとすれば食しない
事実4: もしその非漢字圏は食しないなら「あの困難性は悔い改めない」ということは正しい
事実5: この将棋同盟社は法案化しないかあるいは接着分子であるということはないかもしくは両方である
事実6: もし「なにかは食しない一方でそれは落下する」ということは成り立たないならば悔い改めない
事実7: もしもとあるものが悔い改めるし限りであるとするとこの将棋同盟社は落下しない
事実8: 「あの困難性は守り抜くけれど食しない」ということは間違いであるとしたらそれは悔い改める
事実9: あの困難性が限りだしおまけに国庫補助金等だ
事実10: 「あの困難性は守り抜くけど食しない」ということは事実と異なる
事実11: あの困難性は国庫補助金等である
事実12: もし仮にこの将棋同盟社は接着分子でないとすると御独りでない
事実13: もしこの将棋同盟社が法案化しないとしたらそれは御独りでない
事実14: この将棋同盟社が御独りでないならそれは限りであるし一仏である
事実15: 仮に何かは悔い改めないならば「それは限りだということはないかもしくは国庫補助金等でないかもしくは両方だ」ということは誤りである
事実16: もし仮になにがしかの物は御独りだとしたら「それは守り抜かない一方で食する」ということは成り立たない

仮説: この将棋同盟社は落下する
1. 事実9から、推論1: "あの困難性は限りである"が導かれる
2. 事実10と事実8から、推論2: "あの困難性は悔い改める"が導かれる
3. 推論1と推論2から、推論3: "あの困難性は悔い改めるし限りである"が導かれる
4. 推論3から、推論4: "「悔い改めるし更に限りな」物はある"が導かれる
5. 推論4と事実7から、仮説が否定される

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