「あの事前求償は取れ易い」ということは正しい
fact1: あの海賊船は取れ易い fact2: この三〜四人は取れ易い fact3: あの事前求償は取れ易い fact4: もしこの学級全体は吹けないとすると「それは面白くない」ということは事実である fact5: この蓋然性は取れ易い fact6: 「「とあるものは花卉部門だしさらにウェアウルフである」ということは確かである」ということは誤っているとすればそれはウェアウルフでない fact7: もし仮にあの事前求償が御断り致さないならばあのスペイン中部は堅苦しくて加えてそれは取れ易い fact8: もし何らかの物はウェアウルフであるということはないならばそれは相談し易いかまたは商業施設である fact9: その経営哲学は取れ易い fact10: あの事前求償は償還する fact11: この学級全体は面白くないとすれば「その夜行列車は花卉部門でかつウェアウルフだ」ということは誤っている fact12: 「何らかの物はウェアウルフでなくてしかも相談し易くない」ということは確かでないとすれば御断り致さない fact13: 「あの事前求償はブロッキングだ」ということは成り立つ fact14: 「あの事前求償は継続す」ということは正しい fact15: 「相談し易いものは御断り致すということはない」ということは正しい fact16: なにかは堅苦しくないかもしくは御断り致さないか両方だとしたら取れ易くない
fact3 -> hypothesis;
fact3 -> hypothesis;
あの事前求償は取れ易くない
fact18 -> int1: 仮にあの事前求償が堅苦しくないかそれが御断り致すということはないならばそれは取れ易くない; fact17 -> int2: もし「あの事前求償はウェアウルフであるということはないしかつ相談し易くない」ということは成り立たないとするとそれは御断り致さない;
$facts$ = fact1: あの海賊船は取れ易い fact2: この三〜四人は取れ易い fact3: あの事前求償は取れ易い fact4: もしこの学級全体は吹けないとすると「それは面白くない」ということは事実である fact5: この蓋然性は取れ易い fact6: 「「とあるものは花卉部門だしさらにウェアウルフである」ということは確かである」ということは誤っているとすればそれはウェアウルフでない fact7: もし仮にあの事前求償が御断り致さないならばあのスペイン中部は堅苦しくて加えてそれは取れ易い fact8: もし何らかの物はウェアウルフであるということはないならばそれは相談し易いかまたは商業施設である fact9: その経営哲学は取れ易い fact10: あの事前求償は償還する fact11: この学級全体は面白くないとすれば「その夜行列車は花卉部門でかつウェアウルフだ」ということは誤っている fact12: 「何らかの物はウェアウルフでなくてしかも相談し易くない」ということは確かでないとすれば御断り致さない fact13: 「あの事前求償はブロッキングだ」ということは成り立つ fact14: 「あの事前求償は継続す」ということは正しい fact15: 「相談し易いものは御断り致すということはない」ということは正しい fact16: なにかは堅苦しくないかもしくは御断り致さないか両方だとしたら取れ易くない ; $hypothesis$ = 「あの事前求償は取れ易い」ということは正しい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの海賊船は取れ易い
事実2: この三〜四人は取れ易い
事実3: あの事前求償は取れ易い
事実4: もしこの学級全体は吹けないとすると「それは面白くない」ということは事実である
事実5: この蓋然性は取れ易い
事実6: 「「とあるものは花卉部門だしさらにウェアウルフである」ということは確かである」ということは誤っているとすればそれはウェアウルフでない
事実7: もし仮にあの事前求償が御断り致さないならばあのスペイン中部は堅苦しくて加えてそれは取れ易い
事実8: もし何らかの物はウェアウルフであるということはないならばそれは相談し易いかまたは商業施設である
事実9: その経営哲学は取れ易い
事実10: あの事前求償は償還する
事実11: この学級全体は面白くないとすれば「その夜行列車は花卉部門でかつウェアウルフだ」ということは誤っている
事実12: 「何らかの物はウェアウルフでなくてしかも相談し易くない」ということは確かでないとすれば御断り致さない
事実13: 「あの事前求償はブロッキングだ」ということは成り立つ
事実14: 「あの事前求償は継続す」ということは正しい
事実15: 「相談し易いものは御断り致すということはない」ということは正しい
事実16: なにかは堅苦しくないかもしくは御断り致さないか両方だとしたら取れ易くない

仮説: 「あの事前求償は取れ易い」ということは正しい
1. 事実3から、仮説が導かれる

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