「あの学生一人一人は感じ難い」ということは成り立つ
fact1: その誓約は起源論である fact2: 「何らかのものは肋骨頭だしかつ吊り易い」ということは誤っているとしたら切れ上がらない fact3: その誓約は感じ難い fact4: もしあの学生一人一人は編纂事業でないなら「その誓約は付き易くないし更に感じ難いということはない」ということは間違っている fact5: もしもその誓約が起源論であるとしたらあの学生一人一人は感じ難い fact6: そのドライブＤは古高でない fact7: その誓約は編纂事業であるならそれは感じ難くないけれど付き易い fact8: 「あの学生一人一人は起源論だ」ということは正しい fact9: この座右は起源論である fact10: そのドライブＤは古高でないなら「あの病弱は肋骨頭であるし吊り易い」ということは事実と異なる fact11: もしも「なんらかの物は切れ上がらない」ということは偽だということはないならば「姦淫するし動き易い」ということは間違っている fact12: 仮にその誓約が感じ難いならあの学生一人一人は起源論である fact13: 仮に「その誓約は編纂事業でないしその上それは姦淫しない」ということは誤っているとするとそれは編纂事業だ fact14: 「あの学生一人一人は掛け易い」ということは成り立つ
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
あの学生一人一人は感じ難くない
$facts$ = fact1: その誓約は起源論である fact2: 「何らかのものは肋骨頭だしかつ吊り易い」ということは誤っているとしたら切れ上がらない fact3: その誓約は感じ難い fact4: もしあの学生一人一人は編纂事業でないなら「その誓約は付き易くないし更に感じ難いということはない」ということは間違っている fact5: もしもその誓約が起源論であるとしたらあの学生一人一人は感じ難い fact6: そのドライブＤは古高でない fact7: その誓約は編纂事業であるならそれは感じ難くないけれど付き易い fact8: 「あの学生一人一人は起源論だ」ということは正しい fact9: この座右は起源論である fact10: そのドライブＤは古高でないなら「あの病弱は肋骨頭であるし吊り易い」ということは事実と異なる fact11: もしも「なんらかの物は切れ上がらない」ということは偽だということはないならば「姦淫するし動き易い」ということは間違っている fact12: 仮にその誓約が感じ難いならあの学生一人一人は起源論である fact13: 仮に「その誓約は編纂事業でないしその上それは姦淫しない」ということは誤っているとするとそれは編纂事業だ fact14: 「あの学生一人一人は掛け易い」ということは成り立つ ; $hypothesis$ = 「あの学生一人一人は感じ難い」ということは成り立つ ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: その誓約は起源論である
事実2: 「何らかのものは肋骨頭だしかつ吊り易い」ということは誤っているとしたら切れ上がらない
事実3: その誓約は感じ難い
事実4: もしあの学生一人一人は編纂事業でないなら「その誓約は付き易くないし更に感じ難いということはない」ということは間違っている
事実5: もしもその誓約が起源論であるとしたらあの学生一人一人は感じ難い
事実6: そのドライブＤは古高でない
事実7: その誓約は編纂事業であるならそれは感じ難くないけれど付き易い
事実8: 「あの学生一人一人は起源論だ」ということは正しい
事実9: この座右は起源論である
事実10: そのドライブＤは古高でないなら「あの病弱は肋骨頭であるし吊り易い」ということは事実と異なる
事実11: もしも「なんらかの物は切れ上がらない」ということは偽だということはないならば「姦淫するし動き易い」ということは間違っている
事実12: 仮にその誓約が感じ難いならあの学生一人一人は起源論である
事実13: 仮に「その誓約は編纂事業でないしその上それは姦淫しない」ということは誤っているとするとそれは編纂事業だ
事実14: 「あの学生一人一人は掛け易い」ということは成り立つ

仮説: 「あの学生一人一人は感じ難い」ということは成り立つ
1. 事実5と事実1から、仮説が導かれる

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