この鎌倉時代以降は七十年史である
fact1: この畜舎は三菱系だ fact2: あの年金資金運用基金はラスタライズする fact3: 「この畜舎は下げ止まる」ということは成り立つ fact4: 仮に「「反映され易い」ということは確かである」物はあるとすると「あの年金資金運用基金は儚くないがそれはモンブランクリームである」ということは成り立たない fact5: 付き易くない物はブランドらしい fact6: 仮にあの年金資金運用基金が七十年史であるならばあの鎌倉時代以降は儚くない fact7: もし「この畜舎はモンブランクリームである」ということは成り立つとしたらあの年金資金運用基金は反映され易くない fact8: 仮に「この鎌倉時代以降は御尋ねしない」ということは正しいならば読む fact9: もし仮にとある物は七十年史であるとすれば「あの年金資金運用基金は反映され易くないけど儚い」ということは成り立たない fact10: この畜舎は七十年史でない fact11: この鎌倉時代以降は儚くない fact12: 薄青くないものは言い出し難い fact13: もしも「あの年金資金運用基金は儚くないがしかしモンブランクリームである」ということは誤っているとするとこの鎌倉時代以降は敢え無くない fact14: あの年金資金運用基金は反映され易くない fact15: ある物は儚いとすると「あの年金資金運用基金はモンブランクリームでないがそれは敢え無い」ということは偽だ fact16: 「儚い」物はある fact17: 「この畜舎は反映され易い」ということは確かだ fact18: もしとある物は敢え無いということはないとすると「七十年史である」ということは事実だ fact19: 「この鎌倉時代以降は七十年史だしそれにモンブランクリームだ」ということは成り立たない fact20: もし仮に「あの年金資金運用基金は反映され易くないけれどそれはモンブランクリームである」ということは成り立つということはないとしたらこの畜舎は儚くない
fact17 -> int1: 「反映され易い」物はある; int1 & fact4 -> int2: 「あの年金資金運用基金は儚くないけどモンブランクリームである」ということは成り立つということはない; int2 & fact13 -> int3: この鎌倉時代以降は敢え無くない; fact18 -> int4: 仮にこの鎌倉時代以降が敢え無いということはないとしたら七十年史だ; int3 & int4 -> hypothesis;
$facts$ = fact1: この畜舎は三菱系だ fact2: あの年金資金運用基金はラスタライズする fact3: 「この畜舎は下げ止まる」ということは成り立つ fact4: 仮に「「反映され易い」ということは確かである」物はあるとすると「あの年金資金運用基金は儚くないがそれはモンブランクリームである」ということは成り立たない fact5: 付き易くない物はブランドらしい fact6: 仮にあの年金資金運用基金が七十年史であるならばあの鎌倉時代以降は儚くない fact7: もし「この畜舎はモンブランクリームである」ということは成り立つとしたらあの年金資金運用基金は反映され易くない fact8: 仮に「この鎌倉時代以降は御尋ねしない」ということは正しいならば読む fact9: もし仮にとある物は七十年史であるとすれば「あの年金資金運用基金は反映され易くないけど儚い」ということは成り立たない fact10: この畜舎は七十年史でない fact11: この鎌倉時代以降は儚くない fact12: 薄青くないものは言い出し難い fact13: もしも「あの年金資金運用基金は儚くないがしかしモンブランクリームである」ということは誤っているとするとこの鎌倉時代以降は敢え無くない fact14: あの年金資金運用基金は反映され易くない fact15: ある物は儚いとすると「あの年金資金運用基金はモンブランクリームでないがそれは敢え無い」ということは偽だ fact16: 「儚い」物はある fact17: 「この畜舎は反映され易い」ということは確かだ fact18: もしとある物は敢え無いということはないとすると「七十年史である」ということは事実だ fact19: 「この鎌倉時代以降は七十年史だしそれにモンブランクリームだ」ということは成り立たない fact20: もし仮に「あの年金資金運用基金は反映され易くないけれどそれはモンブランクリームである」ということは成り立つということはないとしたらこの畜舎は儚くない ; $hypothesis$ = この鎌倉時代以降は七十年史である ; $proof$ = 
fact17 -> int1: 「反映され易い」物はある; int1 & fact4 -> int2: 「あの年金資金運用基金は儚くないけどモンブランクリームである」ということは成り立つということはない; int2 & fact13 -> int3: この鎌倉時代以降は敢え無くない; fact18 -> int4: 仮にこの鎌倉時代以降が敢え無いということはないとしたら七十年史だ; int3 & int4 -> hypothesis; __PROVED__
事実1: この畜舎は三菱系だ
事実2: あの年金資金運用基金はラスタライズする
事実3: 「この畜舎は下げ止まる」ということは成り立つ
事実4: 仮に「「反映され易い」ということは確かである」物はあるとすると「あの年金資金運用基金は儚くないがそれはモンブランクリームである」ということは成り立たない
事実5: 付き易くない物はブランドらしい
事実6: 仮にあの年金資金運用基金が七十年史であるならばあの鎌倉時代以降は儚くない
事実7: もし「この畜舎はモンブランクリームである」ということは成り立つとしたらあの年金資金運用基金は反映され易くない
事実8: 仮に「この鎌倉時代以降は御尋ねしない」ということは正しいならば読む
事実9: もし仮にとある物は七十年史であるとすれば「あの年金資金運用基金は反映され易くないけど儚い」ということは成り立たない
事実10: この畜舎は七十年史でない
事実11: この鎌倉時代以降は儚くない
事実12: 薄青くないものは言い出し難い
事実13: もしも「あの年金資金運用基金は儚くないがしかしモンブランクリームである」ということは誤っているとするとこの鎌倉時代以降は敢え無くない
事実14: あの年金資金運用基金は反映され易くない
事実15: ある物は儚いとすると「あの年金資金運用基金はモンブランクリームでないがそれは敢え無い」ということは偽だ
事実16: 「儚い」物はある
事実17: 「この畜舎は反映され易い」ということは確かだ
事実18: もしとある物は敢え無いということはないとすると「七十年史である」ということは事実だ
事実19: 「この鎌倉時代以降は七十年史だしそれにモンブランクリームだ」ということは成り立たない
事実20: もし仮に「あの年金資金運用基金は反映され易くないけれどそれはモンブランクリームである」ということは成り立つということはないとしたらこの畜舎は儚くない

仮説: この鎌倉時代以降は七十年史である
1. 事実17から、推論1: "「反映され易い」物はある"が導かれる
2. 推論1と事実4から、推論2: "「あの年金資金運用基金は儚くないけどモンブランクリームである」ということは成り立つということはない"が導かれる
3. 推論2と事実13から、推論3: "この鎌倉時代以降は敢え無くない"が導かれる
4. 事実18から、推論4: "仮にこの鎌倉時代以降が敢え無いということはないとしたら七十年史だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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