「この日本馬は居辛い」ということは成り立つ
fact1: 「その代替関係は居辛くない」ということは正しい fact2: もしもあの東京ドームが掘り始めるしおまけにそれが魅するとしたらこの日本馬は居辛くない fact3: 「あの東京ドームは掘り始めるということはない」ということは本当である fact4: あの交響曲は施用する fact5: あのサーマイルが魅するならばあの東京ドームは掘り始めない fact6: あのサーマイルは施用する fact7: もし何らかの物は掘り始めるなら「それは魅しない」ということは事実だ fact8: あのサーマイルは居辛い fact9: 「あのサーマイルは面白おかしいかもしくは見過ごし難い」ということは成り立つ fact10: 「見過ごし難いものは乗り易い」ということは正しい fact11: あのサーマイルは魅するとしたら「あの東京ドームは掘り始めないけれど魅する」ということは確かだ fact12: もしもこの日本馬が漂着するとしたら掘り始める fact13: 仮にあの東京ドームが掘り始めないけどそれは魅するとすれば「この日本馬は居辛くない」ということは本当だ fact14: あのサーマイルが面白おかしいとしたらこの日本馬は見過ごし難い fact15: 乗り易い物は漂着する fact16: もし仮に「あの東京ドームは掘り始める」ということは成り立つとしたらそれは施用する fact17: あのサーマイルが施用するとすれば魅する
fact17 & fact6 -> int1: あのサーマイルは魅する; int1 & fact11 -> int2: あの東京ドームは掘り始めないがしかし魅する; int2 & fact13 -> hypothesis;
fact17 & fact6 -> int1: {B}{a}; int1 & fact11 -> int2: (¬{D}{b} & {B}{b}); int2 & fact13 -> hypothesis;
この日本馬は居辛い
fact21 -> int3: この日本馬は掘り始めるとすれば「魅しない」ということは成り立つ; fact20 -> int4: 「もしもこの日本馬が乗り易いとすればこの日本馬は漂着する」ということは事実だ; fact23 -> int5: この日本馬が見過ごし難いとすればそれは乗り易い;
$facts$ = fact1: 「その代替関係は居辛くない」ということは正しい fact2: もしもあの東京ドームが掘り始めるしおまけにそれが魅するとしたらこの日本馬は居辛くない fact3: 「あの東京ドームは掘り始めるということはない」ということは本当である fact4: あの交響曲は施用する fact5: あのサーマイルが魅するならばあの東京ドームは掘り始めない fact6: あのサーマイルは施用する fact7: もし何らかの物は掘り始めるなら「それは魅しない」ということは事実だ fact8: あのサーマイルは居辛い fact9: 「あのサーマイルは面白おかしいかもしくは見過ごし難い」ということは成り立つ fact10: 「見過ごし難いものは乗り易い」ということは正しい fact11: あのサーマイルは魅するとしたら「あの東京ドームは掘り始めないけれど魅する」ということは確かだ fact12: もしもこの日本馬が漂着するとしたら掘り始める fact13: 仮にあの東京ドームが掘り始めないけどそれは魅するとすれば「この日本馬は居辛くない」ということは本当だ fact14: あのサーマイルが面白おかしいとしたらこの日本馬は見過ごし難い fact15: 乗り易い物は漂着する fact16: もし仮に「あの東京ドームは掘り始める」ということは成り立つとしたらそれは施用する fact17: あのサーマイルが施用するとすれば魅する ; $hypothesis$ = 「この日本馬は居辛い」ということは成り立つ ; $proof$ = 
fact17 & fact6 -> int1: あのサーマイルは魅する; int1 & fact11 -> int2: あの東京ドームは掘り始めないがしかし魅する; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: 「その代替関係は居辛くない」ということは正しい
事実2: もしもあの東京ドームが掘り始めるしおまけにそれが魅するとしたらこの日本馬は居辛くない
事実3: 「あの東京ドームは掘り始めるということはない」ということは本当である
事実4: あの交響曲は施用する
事実5: あのサーマイルが魅するならばあの東京ドームは掘り始めない
事実6: あのサーマイルは施用する
事実7: もし何らかの物は掘り始めるなら「それは魅しない」ということは事実だ
事実8: あのサーマイルは居辛い
事実9: 「あのサーマイルは面白おかしいかもしくは見過ごし難い」ということは成り立つ
事実10: 「見過ごし難いものは乗り易い」ということは正しい
事実11: あのサーマイルは魅するとしたら「あの東京ドームは掘り始めないけれど魅する」ということは確かだ
事実12: もしもこの日本馬が漂着するとしたら掘り始める
事実13: 仮にあの東京ドームが掘り始めないけどそれは魅するとすれば「この日本馬は居辛くない」ということは本当だ
事実14: あのサーマイルが面白おかしいとしたらこの日本馬は見過ごし難い
事実15: 乗り易い物は漂着する
事実16: もし仮に「あの東京ドームは掘り始める」ということは成り立つとしたらそれは施用する
事実17: あのサーマイルが施用するとすれば魅する

仮説: 「この日本馬は居辛い」ということは成り立つ
1. 事実17と事実6から、推論1: "あのサーマイルは魅する"が導かれる
2. 推論1と事実11から、推論2: "あの東京ドームは掘り始めないがしかし魅する"が導かれる
3. 推論2と事実13から、仮説が否定される

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