このナポレオン支配は浸さない
fact1: もしもあの鎖場が匕首であるならこのオランダ靴は匕首だ fact2: もしも「見付け易くない」物はあるとすると「あの鎖場は匕首でないけれど見付け易い」ということは間違いだ fact3: もしもこのオランダ靴はエネルギー物質でないなら「あの鎖場は主導しないがしかしそれは本訴である」ということは真実でない fact4: もし仮に「あの鎖場は主導しないが本訴である」ということは嘘であるとすればこのナポレオン支配は浸す fact5: このオランダ靴はデッドストックであるということはないならばそれは決定問題だ fact6: 仮に「何らかのものは述べ始めない」ということは本当であるとすればデッドストックでない fact7: 「この色仕掛けは抜き難い一方で出入りし易くない」ということは誤りである fact8: 「とあるものは匕首でない一方で見付け易い」ということは間違いであるとするとそれは匕首である fact9: このオランダ靴は決定問題である fact10: もしも「この色仕掛けは抜き難い一方で出入りし易くない」ということは成り立たないとすれば「このオランダ靴は述べ始めない」ということは本当だ fact11: もし仮に「この色仕掛けは述べ始めない」ということは成り立たないとしたら「このナポレオン支配は浸さないがデッドストックである」ということは誤りでない fact12: 仮にとあるものがデッドストックでないとすればエネルギー物質でないけれど決定問題である fact13: 「あの仮払い金は見付け易くない」ということは成り立つ fact14: もしもなんらかの物は本訴でないとしたら「それはエネルギー物質でないし決定問題でない」ということは成り立たない fact15: 仮に「このオランダ靴は匕首だ」ということは成り立つならそれは本訴でなくて主導しない
fact10 & fact7 -> int1: このオランダ靴は述べ始めない; fact6 -> int2: もし仮にこのオランダ靴が述べ始めないとしたらそれはデッドストックでない; int1 & int2 -> int3: このオランダ靴はデッドストックでない; fact12 -> int4: もしこのオランダ靴がデッドストックでないとすればそれはエネルギー物質でないしさらにそれは決定問題である; int3 & int4 -> int5: このオランダ靴はエネルギー物質でないがしかし決定問題である; int5 -> int6: このオランダ靴はエネルギー物質でない; int6 & fact3 -> int7: 「あの鎖場は主導するということはないけど本訴である」ということは嘘である; int7 & fact4 -> hypothesis;
このナポレオン支配は浸さない
fact18 -> int8: もしこのオランダ靴は本訴でないなら「エネルギー物質でなくてしかも決定問題でない」ということは成り立たない; fact17 -> int9: 「あの鎖場は匕首でないけど見付け易い」ということは事実と異なるなら匕首だ; fact21 -> int10: 「「見付け易くない」ということは確かな」物はある; int10 & fact19 -> int11: 「あの鎖場は匕首だということはないがしかし見付け易い」ということは偽である; int9 & int11 -> int12: あの鎖場は匕首だ; fact22 & int12 -> int13: このオランダ靴は匕首だ; fact16 & int13 -> int14: このオランダ靴は本訴でないし更に主導するということはない; int14 -> int15: このオランダ靴は本訴でない; int8 & int15 -> int16: 「このオランダ靴はエネルギー物質でなくてまた決定問題でない」ということは誤りだ; int16 -> int17: 「「エネルギー物質でないしまた決定問題でない」ということは誤っている」ものはある;
$facts$ = fact1: もしもあの鎖場が匕首であるならこのオランダ靴は匕首だ fact2: もしも「見付け易くない」物はあるとすると「あの鎖場は匕首でないけれど見付け易い」ということは間違いだ fact3: もしもこのオランダ靴はエネルギー物質でないなら「あの鎖場は主導しないがしかしそれは本訴である」ということは真実でない fact4: もし仮に「あの鎖場は主導しないが本訴である」ということは嘘であるとすればこのナポレオン支配は浸す fact5: このオランダ靴はデッドストックであるということはないならばそれは決定問題だ fact6: 仮に「何らかのものは述べ始めない」ということは本当であるとすればデッドストックでない fact7: 「この色仕掛けは抜き難い一方で出入りし易くない」ということは誤りである fact8: 「とあるものは匕首でない一方で見付け易い」ということは間違いであるとするとそれは匕首である fact9: このオランダ靴は決定問題である fact10: もしも「この色仕掛けは抜き難い一方で出入りし易くない」ということは成り立たないとすれば「このオランダ靴は述べ始めない」ということは本当だ fact11: もし仮に「この色仕掛けは述べ始めない」ということは成り立たないとしたら「このナポレオン支配は浸さないがデッドストックである」ということは誤りでない fact12: 仮にとあるものがデッドストックでないとすればエネルギー物質でないけれど決定問題である fact13: 「あの仮払い金は見付け易くない」ということは成り立つ fact14: もしもなんらかの物は本訴でないとしたら「それはエネルギー物質でないし決定問題でない」ということは成り立たない fact15: 仮に「このオランダ靴は匕首だ」ということは成り立つならそれは本訴でなくて主導しない ; $hypothesis$ = このナポレオン支配は浸さない ; $proof$ = 
fact10 & fact7 -> int1: このオランダ靴は述べ始めない; fact6 -> int2: もし仮にこのオランダ靴が述べ始めないとしたらそれはデッドストックでない; int1 & int2 -> int3: このオランダ靴はデッドストックでない; fact12 -> int4: もしこのオランダ靴がデッドストックでないとすればそれはエネルギー物質でないしさらにそれは決定問題である; int3 & int4 -> int5: このオランダ靴はエネルギー物質でないがしかし決定問題である; int5 -> int6: このオランダ靴はエネルギー物質でない; int6 & fact3 -> int7: 「あの鎖場は主導するということはないけど本訴である」ということは嘘である; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもあの鎖場が匕首であるならこのオランダ靴は匕首だ
事実2: もしも「見付け易くない」物はあるとすると「あの鎖場は匕首でないけれど見付け易い」ということは間違いだ
事実3: もしもこのオランダ靴はエネルギー物質でないなら「あの鎖場は主導しないがしかしそれは本訴である」ということは真実でない
事実4: もし仮に「あの鎖場は主導しないが本訴である」ということは嘘であるとすればこのナポレオン支配は浸す
事実5: このオランダ靴はデッドストックであるということはないならばそれは決定問題だ
事実6: 仮に「何らかのものは述べ始めない」ということは本当であるとすればデッドストックでない
事実7: 「この色仕掛けは抜き難い一方で出入りし易くない」ということは誤りである
事実8: 「とあるものは匕首でない一方で見付け易い」ということは間違いであるとするとそれは匕首である
事実9: このオランダ靴は決定問題である
事実10: もしも「この色仕掛けは抜き難い一方で出入りし易くない」ということは成り立たないとすれば「このオランダ靴は述べ始めない」ということは本当だ
事実11: もし仮に「この色仕掛けは述べ始めない」ということは成り立たないとしたら「このナポレオン支配は浸さないがデッドストックである」ということは誤りでない
事実12: 仮にとあるものがデッドストックでないとすればエネルギー物質でないけれど決定問題である
事実13: 「あの仮払い金は見付け易くない」ということは成り立つ
事実14: もしもなんらかの物は本訴でないとしたら「それはエネルギー物質でないし決定問題でない」ということは成り立たない
事実15: 仮に「このオランダ靴は匕首だ」ということは成り立つならそれは本訴でなくて主導しない

仮説: このナポレオン支配は浸さない
1. 事実10と事実7から、推論1: "このオランダ靴は述べ始めない"が導かれる
2. 事実6から、推論2: "もし仮にこのオランダ靴が述べ始めないとしたらそれはデッドストックでない"が導かれる
3. 推論1と推論2から、推論3: "このオランダ靴はデッドストックでない"が導かれる
4. 事実12から、推論4: "もしこのオランダ靴がデッドストックでないとすればそれはエネルギー物質でないしさらにそれは決定問題である"が導かれる
5. 推論3と推論4から、推論5: "このオランダ靴はエネルギー物質でないがしかし決定問題である"が導かれる
6. 推論5から、推論6: "このオランダ靴はエネルギー物質でない"が導かれる
7. 推論6と事実3から、推論7: "「あの鎖場は主導するということはないけど本訴である」ということは嘘である"が導かれる
8. 推論7と事実4から、仮説が否定される

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