「この先行文献は運送先だ」ということは確かだ
fact1: もしもあるものは師資相承ならば「「それは投げないし慎ましくない」ということは正しい」ということは誤りである fact2: その開発・運用が倹約家であるか運送先であるなら尽くし難くない fact3: 仮に何らかのものが使用パーツでないとすると師資相承であるしおまけにアザラクである fact4: この先行文献は投げる fact5: もしとある物が発すとすると昇進出来る fact6: もし仮にこの先行文献が慎ましいとすればそれは運送先でない fact7: 仮にこの先行文献が投げるしさらに運送先であるとするとこの群書類従は運送先であるということはない fact8: あの旧憲法下は迷信であるということはない fact9: もし仮になにかは昇進出来るならそれは使用パーツである fact10: 仮にあの旧憲法下が迷信だということはないとすればそれは打ち易いしかつ発す fact11: 仮にあの代謝酵素活性が慎ましくないならこの先行文献は投げるし運送先だ fact12: 仮にこの先行文献は投げるか慎ましいかもしくは両方であるとするとそれは運送先であるということはない fact13: そのじゃががアザラクであるとすればあの代謝酵素活性は師資相承だがしかしそれは慎ましくない fact14: もしもあの旧憲法下が発すならあの新生児評価は発す fact15: あの新生児評価は使用パーツだとすれば「この物置戸棚はアザラクでないけど情報提供等だ」ということは成り立たない
fact4 -> int1: この先行文献は投げるかあるいはそれは慎ましい; int1 & fact12 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact12 -> hypothesis;
「この群書類従は運送先でない」ということは成り立つ
fact20 -> int2: もし仮にあの新生児評価が昇進出来るとすれば使用パーツである; fact24 -> int3: もし仮にあの新生児評価が発すとしたらそれは昇進出来る; fact21 & fact17 -> int4: あの旧憲法下は打ち易いしそれは発す; int4 -> int5: あの旧憲法下は発す; fact23 & int5 -> int6: あの新生児評価は発す; int3 & int6 -> int7: あの新生児評価は昇進出来る; int2 & int7 -> int8: あの新生児評価は使用パーツである; fact19 & int8 -> int9: 「この物置戸棚はアザラクでないがしかしそれは情報提供等だ」ということは嘘である; int9 -> int10: 「「アザラクであるということはないけど情報提供等である」ということは嘘である」ものはある;
$facts$ = fact1: もしもあるものは師資相承ならば「「それは投げないし慎ましくない」ということは正しい」ということは誤りである fact2: その開発・運用が倹約家であるか運送先であるなら尽くし難くない fact3: 仮に何らかのものが使用パーツでないとすると師資相承であるしおまけにアザラクである fact4: この先行文献は投げる fact5: もしとある物が発すとすると昇進出来る fact6: もし仮にこの先行文献が慎ましいとすればそれは運送先でない fact7: 仮にこの先行文献が投げるしさらに運送先であるとするとこの群書類従は運送先であるということはない fact8: あの旧憲法下は迷信であるということはない fact9: もし仮になにかは昇進出来るならそれは使用パーツである fact10: 仮にあの旧憲法下が迷信だということはないとすればそれは打ち易いしかつ発す fact11: 仮にあの代謝酵素活性が慎ましくないならこの先行文献は投げるし運送先だ fact12: 仮にこの先行文献は投げるか慎ましいかもしくは両方であるとするとそれは運送先であるということはない fact13: そのじゃががアザラクであるとすればあの代謝酵素活性は師資相承だがしかしそれは慎ましくない fact14: もしもあの旧憲法下が発すならあの新生児評価は発す fact15: あの新生児評価は使用パーツだとすれば「この物置戸棚はアザラクでないけど情報提供等だ」ということは成り立たない ; $hypothesis$ = 「この先行文献は運送先だ」ということは確かだ ; $proof$ = 
fact4 -> int1: この先行文献は投げるかあるいはそれは慎ましい; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもあるものは師資相承ならば「「それは投げないし慎ましくない」ということは正しい」ということは誤りである
事実2: その開発・運用が倹約家であるか運送先であるなら尽くし難くない
事実3: 仮に何らかのものが使用パーツでないとすると師資相承であるしおまけにアザラクである
事実4: この先行文献は投げる
事実5: もしとある物が発すとすると昇進出来る
事実6: もし仮にこの先行文献が慎ましいとすればそれは運送先でない
事実7: 仮にこの先行文献が投げるしさらに運送先であるとするとこの群書類従は運送先であるということはない
事実8: あの旧憲法下は迷信であるということはない
事実9: もし仮になにかは昇進出来るならそれは使用パーツである
事実10: 仮にあの旧憲法下が迷信だということはないとすればそれは打ち易いしかつ発す
事実11: 仮にあの代謝酵素活性が慎ましくないならこの先行文献は投げるし運送先だ
事実12: 仮にこの先行文献は投げるか慎ましいかもしくは両方であるとするとそれは運送先であるということはない
事実13: そのじゃががアザラクであるとすればあの代謝酵素活性は師資相承だがしかしそれは慎ましくない
事実14: もしもあの旧憲法下が発すならあの新生児評価は発す
事実15: あの新生児評価は使用パーツだとすれば「この物置戸棚はアザラクでないけど情報提供等だ」ということは成り立たない

仮説: 「この先行文献は運送先だ」ということは確かだ
1. 事実4から、推論1: "この先行文献は投げるかあるいはそれは慎ましい"が導かれる
2. 推論1と事実12から、仮説が否定される

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