「もし仮に「キャパシティであるということはないしその上贔屓するということはない」ということは偽であるならば強しない」物はある
fact1: もしその出羽来着は馬鹿でかくないし強しないとすると飛ばない fact2: もし「あの一般行政職はキャパシティでないしまたそれは贔屓しない」ということは誤りであるとすれば「それは強しない」ということは事実である fact3: 「もし奇襲するということはなくてしかも旧知でないならばカランでない」物はある fact4: もし仮にあの一般行政職は充実しなくて予選しないならば「それは贔屓しない」ということは正しい fact5: 仮にあの一般行政職は異変無しでなくて贔屓しないとすると遣わさない fact6: もしも「その巨樹は強しということはないしさらに溜まり易くない」ということは偽だとすると無関心でない fact7: 「仮に見境無いならばえげつなくない」物はある fact8: 「もしも「「残り難くなくて聞き易い」ということは確かだ」ということは成り立たないならば上り易くない」物はある
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしその出羽来着は馬鹿でかくないし強しないとすると飛ばない fact2: もし「あの一般行政職はキャパシティでないしまたそれは贔屓しない」ということは誤りであるとすれば「それは強しない」ということは事実である fact3: 「もし奇襲するということはなくてしかも旧知でないならばカランでない」物はある fact4: もし仮にあの一般行政職は充実しなくて予選しないならば「それは贔屓しない」ということは正しい fact5: 仮にあの一般行政職は異変無しでなくて贔屓しないとすると遣わさない fact6: もしも「その巨樹は強しということはないしさらに溜まり易くない」ということは偽だとすると無関心でない fact7: 「仮に見境無いならばえげつなくない」物はある fact8: 「もしも「「残り難くなくて聞き易い」ということは確かだ」ということは成り立たないならば上り易くない」物はある ; $hypothesis$ = 「もし仮に「キャパシティであるということはないしその上贔屓するということはない」ということは偽であるならば強しない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしその出羽来着は馬鹿でかくないし強しないとすると飛ばない
事実2: もし「あの一般行政職はキャパシティでないしまたそれは贔屓しない」ということは誤りであるとすれば「それは強しない」ということは事実である
事実3: 「もし奇襲するということはなくてしかも旧知でないならばカランでない」物はある
事実4: もし仮にあの一般行政職は充実しなくて予選しないならば「それは贔屓しない」ということは正しい
事実5: 仮にあの一般行政職は異変無しでなくて贔屓しないとすると遣わさない
事実6: もしも「その巨樹は強しということはないしさらに溜まり易くない」ということは偽だとすると無関心でない
事実7: 「仮に見境無いならばえげつなくない」物はある
事実8: 「もしも「「残り難くなくて聞き易い」ということは確かだ」ということは成り立たないならば上り易くない」物はある

仮説: 「もし仮に「キャパシティであるということはないしその上贔屓するということはない」ということは偽であるならば強しない」物はある
1. 事実2から、仮説が導かれる

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