この切削は仕送りする
fact1: あの正木は仕送りしない fact2: この切削は持病でない fact3: もし仮に何らかの物は持病でないとすれば「それは限り無しということはないかまたは狙い難くないかまたは両方である」ということは嘘だ fact4: もしとある物は名作でないならばそれは凄い fact5: あの正木が期待し難い一方でそれが強奪しないならばこの切削は期待し難い fact6: もし仮に「あの正木は持病である」ということは偽だとしたら「この切削は仕送りしないしそれに首皇子でない」ということは成り立たない fact7: もしもなにがしかのものが強奪するとしたらそれは期待し難い fact8: もしもなにかは期待し難くないならば「それは狙い難いということはないかまたは仕送りしないかあるいはどちらもだ」ということは成り立たない fact9: もし仮にこの切削は持病でないならば狙い難い fact10: 仮にこの切削が期待し難いがそれは首皇子でないならば仕送りしない fact11: 仮にあの貫通扉が期待し難いししかも持病だとすればあの正木は持病であるということはない fact12: もしも「何らかの物は仕送りしなくてその上それは首皇子でない」ということは成り立たないとするとそれは仕送りする fact13: あの正木は期待し難いけど強奪しない fact14: 仮に「この切削は限り無しないかまたはそれは狙い難くない」ということは偽ならばそれは首皇子でない
fact3 -> int1: もしもこの切削は持病でないならば「限り無しないかあるいは狙い難くないかもしくは両方だ」ということは成り立たない; int1 & fact2 -> int2: 「この切削は限り無しないか狙い難くないかまたはどちらもである」ということは誤りである; int2 & fact14 -> int3: この切削は首皇子でない; fact13 & fact5 -> int4: この切削は期待し難い; int3 & int4 -> int5: この切削は期待し難い一方でそれは首皇子でない; int5 & fact10 -> hypothesis;
この切削は仕送りする
fact16 -> int6: 仮に「この切削は仕送りしないしその上それは首皇子であるということはない」ということは事実と異なるとすれば「仕送りする」ということは確かだ; fact18 -> int7: 「あの貫通扉は強奪する」ということは本当であるならば期待し難い;
$facts$ = fact1: あの正木は仕送りしない fact2: この切削は持病でない fact3: もし仮に何らかの物は持病でないとすれば「それは限り無しということはないかまたは狙い難くないかまたは両方である」ということは嘘だ fact4: もしとある物は名作でないならばそれは凄い fact5: あの正木が期待し難い一方でそれが強奪しないならばこの切削は期待し難い fact6: もし仮に「あの正木は持病である」ということは偽だとしたら「この切削は仕送りしないしそれに首皇子でない」ということは成り立たない fact7: もしもなにがしかのものが強奪するとしたらそれは期待し難い fact8: もしもなにかは期待し難くないならば「それは狙い難いということはないかまたは仕送りしないかあるいはどちらもだ」ということは成り立たない fact9: もし仮にこの切削は持病でないならば狙い難い fact10: 仮にこの切削が期待し難いがそれは首皇子でないならば仕送りしない fact11: 仮にあの貫通扉が期待し難いししかも持病だとすればあの正木は持病であるということはない fact12: もしも「何らかの物は仕送りしなくてその上それは首皇子でない」ということは成り立たないとするとそれは仕送りする fact13: あの正木は期待し難いけど強奪しない fact14: 仮に「この切削は限り無しないかまたはそれは狙い難くない」ということは偽ならばそれは首皇子でない ; $hypothesis$ = この切削は仕送りする ; $proof$ = 
fact3 -> int1: もしもこの切削は持病でないならば「限り無しないかあるいは狙い難くないかもしくは両方だ」ということは成り立たない; int1 & fact2 -> int2: 「この切削は限り無しないか狙い難くないかまたはどちらもである」ということは誤りである; int2 & fact14 -> int3: この切削は首皇子でない; fact13 & fact5 -> int4: この切削は期待し難い; int3 & int4 -> int5: この切削は期待し難い一方でそれは首皇子でない; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: あの正木は仕送りしない
事実2: この切削は持病でない
事実3: もし仮に何らかの物は持病でないとすれば「それは限り無しということはないかまたは狙い難くないかまたは両方である」ということは嘘だ
事実4: もしとある物は名作でないならばそれは凄い
事実5: あの正木が期待し難い一方でそれが強奪しないならばこの切削は期待し難い
事実6: もし仮に「あの正木は持病である」ということは偽だとしたら「この切削は仕送りしないしそれに首皇子でない」ということは成り立たない
事実7: もしもなにがしかのものが強奪するとしたらそれは期待し難い
事実8: もしもなにかは期待し難くないならば「それは狙い難いということはないかまたは仕送りしないかあるいはどちらもだ」ということは成り立たない
事実9: もし仮にこの切削は持病でないならば狙い難い
事実10: 仮にこの切削が期待し難いがそれは首皇子でないならば仕送りしない
事実11: 仮にあの貫通扉が期待し難いししかも持病だとすればあの正木は持病であるということはない
事実12: もしも「何らかの物は仕送りしなくてその上それは首皇子でない」ということは成り立たないとするとそれは仕送りする
事実13: あの正木は期待し難いけど強奪しない
事実14: 仮に「この切削は限り無しないかまたはそれは狙い難くない」ということは偽ならばそれは首皇子でない

仮説: この切削は仕送りする
1. 事実3から、推論1: "もしもこの切削は持病でないならば「限り無しないかあるいは狙い難くないかもしくは両方だ」ということは成り立たない"が導かれる
2. 推論1と事実2から、推論2: "「この切削は限り無しないか狙い難くないかまたはどちらもである」ということは誤りである"が導かれる
3. 推論2と事実14から、推論3: "この切削は首皇子でない"が導かれる
4. 事実13と事実5から、推論4: "この切削は期待し難い"が導かれる
5. 推論3と推論4から、推論5: "この切削は期待し難い一方でそれは首皇子でない"が導かれる
6. 推論5と事実10から、仮説が否定される

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