その政府債務比率は付け易くない
fact1: 仮にあるものが暗しとすれば国際観光振興会である fact2: もしも「あの町域は踏み止まれない一方で防波堤だ」ということは成り立つということはないとしたら「あの血抜きは踏み止まれる」ということは確かである fact3: もしも「何かは呼び得ないけど突き付ける」ということは事実と異なれば「呼び得る」ということは成り立つ fact4: もしもある物が七年以前だとしたら暗し fact5: あの血抜きは後ろめたくないとしたら「合併し易くないし更に新規開拓でない」ということは間違っている fact6: もしも「あの町域は設立要件だ」ということは本当であるなら「それは踏み止まれないが防波堤である」ということは偽である fact7: もし仮に「なにがしかのものはごつかないし加えて後ろめたくない」ということは偽であるとしたらそれは付け易い fact8: もしもその文体が卑しくないし多くないとすればあの町域は設立要件である fact9: あの血抜きは後ろめたいということはないなら「合併し易くないしそれにそれは新規開拓である」ということは誤っている fact10: もしも「あの血抜きは合併し易くないしおまけに新規開拓でない」ということは誤りであるとしたらその政府債務比率は付け易くない fact11: もしもなんらかの物が踏み止まれるなら七年以前だ fact12: もし仮にあの血抜きは国際観光振興会だとすると「その政府債務比率は呼び得ないけど突き付ける」ということは誤りだ fact13: 仮になにがしかのものは呼び得るなら「それがごつかないしさらにそれは後ろめたくない」ということは成り立たない fact14: あの血抜きは後ろめたくない
fact5 & fact14 -> int1: 「あの血抜きは合併し易いということはないし新規開拓であるということはない」ということは成り立つということはない; int1 & fact10 -> hypothesis;
fact5 & fact14 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact10 -> hypothesis;
その政府債務比率は付け易い
fact18 -> int2: 「その政府債務比率はごつかないし後ろめたくない」ということは嘘だとすれば付け易い; fact23 -> int3: もしその政府債務比率は呼び得るなら「それはごつかないし後ろめたくない」ということは間違いだ; fact24 -> int4: もし仮に「その政府債務比率は呼び得ないがそれは突き付ける」ということは嘘だとすれば呼び得る; fact22 -> int5: もしあの血抜きが暗しとするとそれは国際観光振興会である; fact21 -> int6: もし仮にあの血抜きが七年以前ならば暗し; fact17 -> int7: もしあの血抜きが踏み止まれるなら七年以前である;
$facts$ = fact1: 仮にあるものが暗しとすれば国際観光振興会である fact2: もしも「あの町域は踏み止まれない一方で防波堤だ」ということは成り立つということはないとしたら「あの血抜きは踏み止まれる」ということは確かである fact3: もしも「何かは呼び得ないけど突き付ける」ということは事実と異なれば「呼び得る」ということは成り立つ fact4: もしもある物が七年以前だとしたら暗し fact5: あの血抜きは後ろめたくないとしたら「合併し易くないし更に新規開拓でない」ということは間違っている fact6: もしも「あの町域は設立要件だ」ということは本当であるなら「それは踏み止まれないが防波堤である」ということは偽である fact7: もし仮に「なにがしかのものはごつかないし加えて後ろめたくない」ということは偽であるとしたらそれは付け易い fact8: もしもその文体が卑しくないし多くないとすればあの町域は設立要件である fact9: あの血抜きは後ろめたいということはないなら「合併し易くないしそれにそれは新規開拓である」ということは誤っている fact10: もしも「あの血抜きは合併し易くないしおまけに新規開拓でない」ということは誤りであるとしたらその政府債務比率は付け易くない fact11: もしもなんらかの物が踏み止まれるなら七年以前だ fact12: もし仮にあの血抜きは国際観光振興会だとすると「その政府債務比率は呼び得ないけど突き付ける」ということは誤りだ fact13: 仮になにがしかのものは呼び得るなら「それがごつかないしさらにそれは後ろめたくない」ということは成り立たない fact14: あの血抜きは後ろめたくない ; $hypothesis$ = その政府債務比率は付け易くない ; $proof$ = 
fact5 & fact14 -> int1: 「あの血抜きは合併し易いということはないし新規開拓であるということはない」ということは成り立つということはない; int1 & fact10 -> hypothesis; __PROVED__
事実1: 仮にあるものが暗しとすれば国際観光振興会である
事実2: もしも「あの町域は踏み止まれない一方で防波堤だ」ということは成り立つということはないとしたら「あの血抜きは踏み止まれる」ということは確かである
事実3: もしも「何かは呼び得ないけど突き付ける」ということは事実と異なれば「呼び得る」ということは成り立つ
事実4: もしもある物が七年以前だとしたら暗し
事実5: あの血抜きは後ろめたくないとしたら「合併し易くないし更に新規開拓でない」ということは間違っている
事実6: もしも「あの町域は設立要件だ」ということは本当であるなら「それは踏み止まれないが防波堤である」ということは偽である
事実7: もし仮に「なにがしかのものはごつかないし加えて後ろめたくない」ということは偽であるとしたらそれは付け易い
事実8: もしもその文体が卑しくないし多くないとすればあの町域は設立要件である
事実9: あの血抜きは後ろめたいということはないなら「合併し易くないしそれにそれは新規開拓である」ということは誤っている
事実10: もしも「あの血抜きは合併し易くないしおまけに新規開拓でない」ということは誤りであるとしたらその政府債務比率は付け易くない
事実11: もしもなんらかの物が踏み止まれるなら七年以前だ
事実12: もし仮にあの血抜きは国際観光振興会だとすると「その政府債務比率は呼び得ないけど突き付ける」ということは誤りだ
事実13: 仮になにがしかのものは呼び得るなら「それがごつかないしさらにそれは後ろめたくない」ということは成り立たない
事実14: あの血抜きは後ろめたくない

仮説: その政府債務比率は付け易くない
1. 事実5と事実14から、推論1: "「あの血抜きは合併し易いということはないし新規開拓であるということはない」ということは成り立つということはない"が導かれる
2. 推論1と事実10から、仮説が導かれる

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