あの縁故がプロらしいしその上発布する
fact1: あの縁故は候補地だ fact2: もしもなんらかのものは構成し得ないならば「それはプロらしいし発布する」ということは間違っている fact3: もし仮にあの縁故が構成し得るということはないならこの消費者ニーズはプロらしいし加えて発布する fact4: 「この廃油は発布する」ということは確かだ fact5: もし仮に「あの縁故は離れ難いということはない」ということは成り立つということはないとすると「構成し得るししかもそれは疑わしない」ということは間違いである fact6: あの縁故は発布する fact7: あの縁故は接近し易いなら「新橋ステーションで更に離れ難くない」ということは間違いだ fact8: 仮に「あるものは構成し得るけど疑わしない」ということは間違っているとすると構成し得るということはない fact9: あの縁故は痛い fact10: この魏延べは発布する fact11: 「なにかは新橋ステーションだがしかしそれは離れ難くない」ということは間違いならば離れ難い fact12: あの縁故はプロらしい fact13: この年甲斐は発布するしまたでっかい fact14: 「あのホルモン作用は発布する」ということは確かである
fact12 & fact6 -> hypothesis;
fact12 & fact6 -> hypothesis;
この消費者ニーズはプロらしい
$facts$ = fact1: あの縁故は候補地だ fact2: もしもなんらかのものは構成し得ないならば「それはプロらしいし発布する」ということは間違っている fact3: もし仮にあの縁故が構成し得るということはないならこの消費者ニーズはプロらしいし加えて発布する fact4: 「この廃油は発布する」ということは確かだ fact5: もし仮に「あの縁故は離れ難いということはない」ということは成り立つということはないとすると「構成し得るししかもそれは疑わしない」ということは間違いである fact6: あの縁故は発布する fact7: あの縁故は接近し易いなら「新橋ステーションで更に離れ難くない」ということは間違いだ fact8: 仮に「あるものは構成し得るけど疑わしない」ということは間違っているとすると構成し得るということはない fact9: あの縁故は痛い fact10: この魏延べは発布する fact11: 「なにかは新橋ステーションだがしかしそれは離れ難くない」ということは間違いならば離れ難い fact12: あの縁故はプロらしい fact13: この年甲斐は発布するしまたでっかい fact14: 「あのホルモン作用は発布する」ということは確かである ; $hypothesis$ = あの縁故がプロらしいしその上発布する ; $proof$ = 
fact12 & fact6 -> hypothesis; __PROVED__
事実1: あの縁故は候補地だ
事実2: もしもなんらかのものは構成し得ないならば「それはプロらしいし発布する」ということは間違っている
事実3: もし仮にあの縁故が構成し得るということはないならこの消費者ニーズはプロらしいし加えて発布する
事実4: 「この廃油は発布する」ということは確かだ
事実5: もし仮に「あの縁故は離れ難いということはない」ということは成り立つということはないとすると「構成し得るししかもそれは疑わしない」ということは間違いである
事実6: あの縁故は発布する
事実7: あの縁故は接近し易いなら「新橋ステーションで更に離れ難くない」ということは間違いだ
事実8: 仮に「あるものは構成し得るけど疑わしない」ということは間違っているとすると構成し得るということはない
事実9: あの縁故は痛い
事実10: この魏延べは発布する
事実11: 「なにかは新橋ステーションだがしかしそれは離れ難くない」ということは間違いならば離れ難い
事実12: あの縁故はプロらしい
事実13: この年甲斐は発布するしまたでっかい
事実14: 「あのホルモン作用は発布する」ということは確かである

仮説: あの縁故がプロらしいしその上発布する
1. 事実12と事実6から、仮説が導かれる

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