このＮＫは津軽海峡である
fact1: 剥離し難い物は公金である fact2: このＮＫは津軽海峡だ fact3: このＮＫはスマッシュだ fact4: この破綻処理は津軽海峡である fact5: その重症度は津軽海峡だ fact6: もしも「なにかは集る」ということは成り立つとしたらそれは津軽海峡である fact7: もしなんらかのものが痛み易いということはないとすると八十年代初めであるし剥離し難い fact8: あのブラック・リーグは津軽海峡である fact9: このＮＫは来易い fact10: 「あの駄目駄目は津軽海峡だ」ということは本当だ fact11: もし仮に「その図Ｖは公金だ」ということは成り立つとしたらこのＮＫは津軽海峡でないしおまけに集らない fact12: あのローカルオブジェクトは津軽海峡である fact13: このＮＫはバブル期だ fact14: このＮＫは無人島化する fact15: もし仮にこのＮＫは桂馬するか痛み易くないかあるいはどちらもであるなら痛み易くない fact16: もしこのＮＫが八十年代初めだし剥離し難いとすればあのミニバスは剥離し難くない fact17: この夜道は津軽海峡である fact18: このＮＫは別立てだ fact19: この六宗は津軽海峡だ fact20: このＮＫは滑り易い
fact2 -> hypothesis;
fact2 -> hypothesis;
そのミニバスは津軽海峡である
fact24 -> int1: もし仮にそのミニバスが集るとしたらそれは津軽海峡である; fact23 -> int2: もしこのＮＫが痛み易くないならば八十年代初めだしそれは剥離し難い;
$facts$ = fact1: 剥離し難い物は公金である fact2: このＮＫは津軽海峡だ fact3: このＮＫはスマッシュだ fact4: この破綻処理は津軽海峡である fact5: その重症度は津軽海峡だ fact6: もしも「なにかは集る」ということは成り立つとしたらそれは津軽海峡である fact7: もしなんらかのものが痛み易いということはないとすると八十年代初めであるし剥離し難い fact8: あのブラック・リーグは津軽海峡である fact9: このＮＫは来易い fact10: 「あの駄目駄目は津軽海峡だ」ということは本当だ fact11: もし仮に「その図Ｖは公金だ」ということは成り立つとしたらこのＮＫは津軽海峡でないしおまけに集らない fact12: あのローカルオブジェクトは津軽海峡である fact13: このＮＫはバブル期だ fact14: このＮＫは無人島化する fact15: もし仮にこのＮＫは桂馬するか痛み易くないかあるいはどちらもであるなら痛み易くない fact16: もしこのＮＫが八十年代初めだし剥離し難いとすればあのミニバスは剥離し難くない fact17: この夜道は津軽海峡である fact18: このＮＫは別立てだ fact19: この六宗は津軽海峡だ fact20: このＮＫは滑り易い ; $hypothesis$ = このＮＫは津軽海峡である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 剥離し難い物は公金である
事実2: このＮＫは津軽海峡だ
事実3: このＮＫはスマッシュだ
事実4: この破綻処理は津軽海峡である
事実5: その重症度は津軽海峡だ
事実6: もしも「なにかは集る」ということは成り立つとしたらそれは津軽海峡である
事実7: もしなんらかのものが痛み易いということはないとすると八十年代初めであるし剥離し難い
事実8: あのブラック・リーグは津軽海峡である
事実9: このＮＫは来易い
事実10: 「あの駄目駄目は津軽海峡だ」ということは本当だ
事実11: もし仮に「その図Ｖは公金だ」ということは成り立つとしたらこのＮＫは津軽海峡でないしおまけに集らない
事実12: あのローカルオブジェクトは津軽海峡である
事実13: このＮＫはバブル期だ
事実14: このＮＫは無人島化する
事実15: もし仮にこのＮＫは桂馬するか痛み易くないかあるいはどちらもであるなら痛み易くない
事実16: もしこのＮＫが八十年代初めだし剥離し難いとすればあのミニバスは剥離し難くない
事実17: この夜道は津軽海峡である
事実18: このＮＫは別立てだ
事実19: この六宗は津軽海峡だ
事実20: このＮＫは滑り易い

仮説: このＮＫは津軽海峡である
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。