「このキャッチングは最深部でないかまたは惨めったらしくないかまたは両方ともである」ということは誤っている
fact1: 仮になにかは偽終止ならば「それは浅ましいということはないが矩形領域である」ということは誤りだ fact2: このラウル・リゲルは身銭である fact3: もし仮にこのラウル・リゲルは浅ましいとすれば「このキャッチングは最深部であるかそれは惨めったらしくないかどちらもだ」ということは成り立つ fact4: もしも「この観光客相手は通行証でないけれど身銭だ」ということは成り立たないとしたらこのラウル・リゲルは浅ましい fact5: もしも何らかのものが惨めったらしいとしたら最深部だ fact6: もしもこの観光客相手は偽終止であるならば「それは通行証でない一方で身銭だ」ということは成り立たない fact7: このキャッチングは最深部でないかもしくは惨めったらしいかどちらもである fact8: 「仮にこの観光客相手は通行証であるとすれば「このラウル・リゲルは浅ましい」ということは本当だ」ということは偽でない fact9: このキャッチングは最深部であるか惨めったらしいということはないかあるいは両方ともである fact10: もし仮にこのラウル・リゲルが浅ましいならばこのキャッチングは最深部でないかまたは惨めったらしいかまたは両方である fact11: もしなにがしかのものは最深部であるならばそれは偽終止だ fact12: 作り難いということはない物は止む無くて惨めったらしい fact13: 仮にこの観光客相手は偽終止であるとすると「それは通行証だしさらに身銭だ」ということは真実でない fact14: 仮にこのラウル・リゲルは身銭であるならば「それは浅ましくないしおまけにそれは最深部だ」ということは成り立つということはない fact15: 仮に「このラウル・リゲルは通行証だ」ということは真実であるとすると「惨めったらしいということはないけれど浅ましい」ということは成り立たない fact16: この観光客相手は偽終止だ fact17: 「この観光客相手は通行証であるしさらに身銭だ」ということは誤りである fact18: 仮にこのラウル・リゲルが浅ましいとすればこのキャッチングは最深部でないかまたは惨めったらしくないかまたは両方だ fact19: もしもこのキャッチングが浅ましいならばこの観光客相手は最深部でないかそれは偽終止でないかまたはどちらもだ
fact6 & fact16 -> int1: 「この観光客相手は通行証でないけど身銭だ」ということは成り立たない; int1 & fact4 -> int2: このラウル・リゲルは浅ましい; int2 & fact18 -> hypothesis;
fact6 & fact16 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact4 -> int2: {B}{b}; int2 & fact18 -> hypothesis;
「あの拓銀取り引きダミーは浅ましくないけれど矩形領域だ」ということは誤っている
fact20 -> int3: 仮に「この観光客相手は作り難いということはない」ということは正しいとすればそれは止む無いしさらに惨めったらしい; fact23 -> int4: もしもあの拓銀取り引きダミーが惨めったらしいとしたらそれは最深部である; fact22 -> int5: 仮にあの拓銀取り引きダミーは最深部であるならば偽終止である; fact21 -> int6: もしあの拓銀取り引きダミーは偽終止だとしたら「浅ましいということはないが矩形領域だ」ということは誤りだ;
$facts$ = fact1: 仮になにかは偽終止ならば「それは浅ましいということはないが矩形領域である」ということは誤りだ fact2: このラウル・リゲルは身銭である fact3: もし仮にこのラウル・リゲルは浅ましいとすれば「このキャッチングは最深部であるかそれは惨めったらしくないかどちらもだ」ということは成り立つ fact4: もしも「この観光客相手は通行証でないけれど身銭だ」ということは成り立たないとしたらこのラウル・リゲルは浅ましい fact5: もしも何らかのものが惨めったらしいとしたら最深部だ fact6: もしもこの観光客相手は偽終止であるならば「それは通行証でない一方で身銭だ」ということは成り立たない fact7: このキャッチングは最深部でないかもしくは惨めったらしいかどちらもである fact8: 「仮にこの観光客相手は通行証であるとすれば「このラウル・リゲルは浅ましい」ということは本当だ」ということは偽でない fact9: このキャッチングは最深部であるか惨めったらしいということはないかあるいは両方ともである fact10: もし仮にこのラウル・リゲルが浅ましいならばこのキャッチングは最深部でないかまたは惨めったらしいかまたは両方である fact11: もしなにがしかのものは最深部であるならばそれは偽終止だ fact12: 作り難いということはない物は止む無くて惨めったらしい fact13: 仮にこの観光客相手は偽終止であるとすると「それは通行証だしさらに身銭だ」ということは真実でない fact14: 仮にこのラウル・リゲルは身銭であるならば「それは浅ましくないしおまけにそれは最深部だ」ということは成り立つということはない fact15: 仮に「このラウル・リゲルは通行証だ」ということは真実であるとすると「惨めったらしいということはないけれど浅ましい」ということは成り立たない fact16: この観光客相手は偽終止だ fact17: 「この観光客相手は通行証であるしさらに身銭だ」ということは誤りである fact18: 仮にこのラウル・リゲルが浅ましいとすればこのキャッチングは最深部でないかまたは惨めったらしくないかまたは両方だ fact19: もしもこのキャッチングが浅ましいならばこの観光客相手は最深部でないかそれは偽終止でないかまたはどちらもだ ; $hypothesis$ = 「このキャッチングは最深部でないかまたは惨めったらしくないかまたは両方ともである」ということは誤っている ; $proof$ = 
fact6 & fact16 -> int1: 「この観光客相手は通行証でないけど身銭だ」ということは成り立たない; int1 & fact4 -> int2: このラウル・リゲルは浅ましい; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮になにかは偽終止ならば「それは浅ましいということはないが矩形領域である」ということは誤りだ
事実2: このラウル・リゲルは身銭である
事実3: もし仮にこのラウル・リゲルは浅ましいとすれば「このキャッチングは最深部であるかそれは惨めったらしくないかどちらもだ」ということは成り立つ
事実4: もしも「この観光客相手は通行証でないけれど身銭だ」ということは成り立たないとしたらこのラウル・リゲルは浅ましい
事実5: もしも何らかのものが惨めったらしいとしたら最深部だ
事実6: もしもこの観光客相手は偽終止であるならば「それは通行証でない一方で身銭だ」ということは成り立たない
事実7: このキャッチングは最深部でないかもしくは惨めったらしいかどちらもである
事実8: 「仮にこの観光客相手は通行証であるとすれば「このラウル・リゲルは浅ましい」ということは本当だ」ということは偽でない
事実9: このキャッチングは最深部であるか惨めったらしいということはないかあるいは両方ともである
事実10: もし仮にこのラウル・リゲルが浅ましいならばこのキャッチングは最深部でないかまたは惨めったらしいかまたは両方である
事実11: もしなにがしかのものは最深部であるならばそれは偽終止だ
事実12: 作り難いということはない物は止む無くて惨めったらしい
事実13: 仮にこの観光客相手は偽終止であるとすると「それは通行証だしさらに身銭だ」ということは真実でない
事実14: 仮にこのラウル・リゲルは身銭であるならば「それは浅ましくないしおまけにそれは最深部だ」ということは成り立つということはない
事実15: 仮に「このラウル・リゲルは通行証だ」ということは真実であるとすると「惨めったらしいということはないけれど浅ましい」ということは成り立たない
事実16: この観光客相手は偽終止だ
事実17: 「この観光客相手は通行証であるしさらに身銭だ」ということは誤りである
事実18: 仮にこのラウル・リゲルが浅ましいとすればこのキャッチングは最深部でないかまたは惨めったらしくないかまたは両方だ
事実19: もしもこのキャッチングが浅ましいならばこの観光客相手は最深部でないかそれは偽終止でないかまたはどちらもだ

仮説: 「このキャッチングは最深部でないかまたは惨めったらしくないかまたは両方ともである」ということは誤っている
1. 事実6と事実16から、推論1: "「この観光客相手は通行証でないけど身銭だ」ということは成り立たない"が導かれる
2. 推論1と事実4から、推論2: "このラウル・リゲルは浅ましい"が導かれる
3. 推論2と事実18から、仮説が否定される

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