「この一斉着信は二竜山だということはないかまたは雄々しかないかまたは両方ともだ」ということは確かでない
fact1: この一斉着信は信じ易くない fact2: その僧徒が信じ易くないならばこの一斉着信は信じ易くない fact3: もし仮にあの取り次ぎが等閑視するしおまけに愛らしいならばそのしつこさは信じ易くない fact4: 「あのカレント・ディスクは登記する」ということは正しい fact5: なにがしかのものが慎み深いならば留守番しないけど命令する fact6: この一斉着信は二竜山であるか雄々しかないかあるいは両方ともだ fact7: もし仮にあるものは命令しないなら「それは二竜山でないかもしくはそれは雄々しかないかあるいは両方だ」ということは成り立たない fact8: 「この三笠書房刊は絶え難くてかつ航行する」ということは成り立つ fact9: 仮に「あの取り次ぎは仕事らしい」ということは正しいとしたらそれは等閑視する fact10: もし仮に何らかのものは信じ易くないとしたら「それは慎み深くてかつそれは登記する」ということは確かだ fact11: あのカレント・ディスクが登記するし加えて慎み深いとすればその僧徒は信じ易くない fact12: もし仮に「その僧徒は信じ易くない」ということは事実だとすればあの一斉着信は信じ易いということはないけど等閑視する fact13: この一斉着信は二竜山でないかまたは雄々しいかまたはどちらもである fact14: もし仮にこの一斉着信が等閑視するとするとそれは二竜山であるかまたは雄々しかないか両方ともである fact15: もしもこの一斉着信が等閑視するとしたら二竜山でないかあるいは雄々しいかあるいはどちらもである fact16: あのカレント・ディスクは命令するししかも慎み深い fact17: もし仮にそのしつこさが信じ易くないならその僧徒は信じ易い fact18: もし仮にこのメディカルは二竜山だがしかし等閑視しないとすれば信じ易くない fact19: この一斉着信は等閑視するとすると「それは二竜山であるということはないか雄々しかない」ということは真実である fact20: あのカレント・ディスクは命令する fact21: 仮にこの三笠書房刊が絶え難いならばあの取り次ぎは仕事らしい
fact16 -> int1: 「あのカレント・ディスクは慎み深い」ということは正しい; int1 & fact4 -> int2: あのカレント・ディスクは登記するしそれは慎み深い; int2 & fact11 -> int3: 「その僧徒は信じ易いということはない」ということは成り立つ; int3 & fact12 -> int4: この一斉着信は信じ易くないが等閑視する; int4 -> int5: 「この一斉着信は等閑視する」ということは事実である; int5 & fact19 -> hypothesis;
「この一斉着信は二竜山でないかまたは雄々しかないか両方ともである」ということは確かであるということはない
fact23 -> int6: もしもこの一斉着信は命令しないならば「それは二竜山でないかもしくはそれは雄々しかないかどちらもだ」ということは真実でない; fact27 -> int7: 「この三笠書房刊は絶え難くない」ということは間違っている; fact24 & int7 -> int8: あの取り次ぎは仕事らしい; fact26 & int8 -> int9: あの取り次ぎは等閑視する;
$facts$ = fact1: この一斉着信は信じ易くない fact2: その僧徒が信じ易くないならばこの一斉着信は信じ易くない fact3: もし仮にあの取り次ぎが等閑視するしおまけに愛らしいならばそのしつこさは信じ易くない fact4: 「あのカレント・ディスクは登記する」ということは正しい fact5: なにがしかのものが慎み深いならば留守番しないけど命令する fact6: この一斉着信は二竜山であるか雄々しかないかあるいは両方ともだ fact7: もし仮にあるものは命令しないなら「それは二竜山でないかもしくはそれは雄々しかないかあるいは両方だ」ということは成り立たない fact8: 「この三笠書房刊は絶え難くてかつ航行する」ということは成り立つ fact9: 仮に「あの取り次ぎは仕事らしい」ということは正しいとしたらそれは等閑視する fact10: もし仮に何らかのものは信じ易くないとしたら「それは慎み深くてかつそれは登記する」ということは確かだ fact11: あのカレント・ディスクが登記するし加えて慎み深いとすればその僧徒は信じ易くない fact12: もし仮に「その僧徒は信じ易くない」ということは事実だとすればあの一斉着信は信じ易いということはないけど等閑視する fact13: この一斉着信は二竜山でないかまたは雄々しいかまたはどちらもである fact14: もし仮にこの一斉着信が等閑視するとするとそれは二竜山であるかまたは雄々しかないか両方ともである fact15: もしもこの一斉着信が等閑視するとしたら二竜山でないかあるいは雄々しいかあるいはどちらもである fact16: あのカレント・ディスクは命令するししかも慎み深い fact17: もし仮にそのしつこさが信じ易くないならその僧徒は信じ易い fact18: もし仮にこのメディカルは二竜山だがしかし等閑視しないとすれば信じ易くない fact19: この一斉着信は等閑視するとすると「それは二竜山であるということはないか雄々しかない」ということは真実である fact20: あのカレント・ディスクは命令する fact21: 仮にこの三笠書房刊が絶え難いならばあの取り次ぎは仕事らしい ; $hypothesis$ = 「この一斉着信は二竜山だということはないかまたは雄々しかないかまたは両方ともだ」ということは確かでない ; $proof$ = 
fact16 -> int1: 「あのカレント・ディスクは慎み深い」ということは正しい; int1 & fact4 -> int2: あのカレント・ディスクは登記するしそれは慎み深い; int2 & fact11 -> int3: 「その僧徒は信じ易いということはない」ということは成り立つ; int3 & fact12 -> int4: この一斉着信は信じ易くないが等閑視する; int4 -> int5: 「この一斉着信は等閑視する」ということは事実である; int5 & fact19 -> hypothesis; __DISPROVED__
事実1: この一斉着信は信じ易くない
事実2: その僧徒が信じ易くないならばこの一斉着信は信じ易くない
事実3: もし仮にあの取り次ぎが等閑視するしおまけに愛らしいならばそのしつこさは信じ易くない
事実4: 「あのカレント・ディスクは登記する」ということは正しい
事実5: なにがしかのものが慎み深いならば留守番しないけど命令する
事実6: この一斉着信は二竜山であるか雄々しかないかあるいは両方ともだ
事実7: もし仮にあるものは命令しないなら「それは二竜山でないかもしくはそれは雄々しかないかあるいは両方だ」ということは成り立たない
事実8: 「この三笠書房刊は絶え難くてかつ航行する」ということは成り立つ
事実9: 仮に「あの取り次ぎは仕事らしい」ということは正しいとしたらそれは等閑視する
事実10: もし仮に何らかのものは信じ易くないとしたら「それは慎み深くてかつそれは登記する」ということは確かだ
事実11: あのカレント・ディスクが登記するし加えて慎み深いとすればその僧徒は信じ易くない
事実12: もし仮に「その僧徒は信じ易くない」ということは事実だとすればあの一斉着信は信じ易いということはないけど等閑視する
事実13: この一斉着信は二竜山でないかまたは雄々しいかまたはどちらもである
事実14: もし仮にこの一斉着信が等閑視するとするとそれは二竜山であるかまたは雄々しかないか両方ともである
事実15: もしもこの一斉着信が等閑視するとしたら二竜山でないかあるいは雄々しいかあるいはどちらもである
事実16: あのカレント・ディスクは命令するししかも慎み深い
事実17: もし仮にそのしつこさが信じ易くないならその僧徒は信じ易い
事実18: もし仮にこのメディカルは二竜山だがしかし等閑視しないとすれば信じ易くない
事実19: この一斉着信は等閑視するとすると「それは二竜山であるということはないか雄々しかない」ということは真実である
事実20: あのカレント・ディスクは命令する
事実21: 仮にこの三笠書房刊が絶え難いならばあの取り次ぎは仕事らしい

仮説: 「この一斉着信は二竜山だということはないかまたは雄々しかないかまたは両方ともだ」ということは確かでない
1. 事実16から、推論1: "「あのカレント・ディスクは慎み深い」ということは正しい"が導かれる
2. 推論1と事実4から、推論2: "あのカレント・ディスクは登記するしそれは慎み深い"が導かれる
3. 推論2と事実11から、推論3: "「その僧徒は信じ易いということはない」ということは成り立つ"が導かれる
4. 推論3と事実12から、推論4: "この一斉着信は信じ易くないが等閑視する"が導かれる
5. 推論4から、推論5: "「この一斉着信は等閑視する」ということは事実である"が導かれる
6. 推論5と事実19から、仮説が否定される

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