この設定完了はうら若い
fact1: もしこの白刃がモンゴル系ならばこの今昔物語集は兵制だ fact2: 仮に「何らかの物はうら若いけど八時以降でない」ということは誤りならばそれはうら若いということはない fact3: もしその監督機能が兵制であるとすればこの今昔物語集は八時以降だ fact4: もし仮にその監督機能が八時以降であるとするとこの白刃は八時以降だけれどそれは播種期でない fact5: もしこの白刃が兵制であるとすればそれは播種期であるということはなくておまけにモンゴル系である fact6: もし仮にあるものは播種期でないけれどモンゴル系であるとすれば貿易フローだ fact7: もしもこの今昔物語集は兵制であるならそれはエリート階級である fact8: もしもこの白刃は八時以降である一方で播種期でないとすればモンゴル系である fact9: もし仮にこの白刃が八時以降であるし播種期であるならば「それはモンゴル系である」ということは本当である fact10: 仮にその監督機能は貿易フローであるとするとそれは八時以降だ fact11: この今昔物語集はエリート階級であるとすれば「この設定完了はうら若い」ということは成り立つ fact12: この白刃は弛み無い fact13: この白刃は播種期でない fact14: もし仮にその監督機能が八時以降であるとすればあの白刃は播種期でない fact15: 「その監督機能は貿易フローだ」ということは成り立つ fact16: この白刃は貿易フローだ一方で播種期でない
fact10 & fact15 -> int1: その監督機能は八時以降だ; int1 & fact4 -> int2: この白刃は八時以降だが播種期でない; int2 & fact8 -> int3: この白刃はモンゴル系だ; int3 & fact1 -> int4: この今昔物語集は兵制だ; int4 & fact7 -> int5: この今昔物語集はエリート階級である; int5 & fact11 -> hypothesis;
この設定完了はうら若くない
fact17 -> int6: もしも「この設定完了はうら若いけれどそれは八時以降でない」ということは誤っていればそれはうら若くない;
$facts$ = fact1: もしこの白刃がモンゴル系ならばこの今昔物語集は兵制だ fact2: 仮に「何らかの物はうら若いけど八時以降でない」ということは誤りならばそれはうら若いということはない fact3: もしその監督機能が兵制であるとすればこの今昔物語集は八時以降だ fact4: もし仮にその監督機能が八時以降であるとするとこの白刃は八時以降だけれどそれは播種期でない fact5: もしこの白刃が兵制であるとすればそれは播種期であるということはなくておまけにモンゴル系である fact6: もし仮にあるものは播種期でないけれどモンゴル系であるとすれば貿易フローだ fact7: もしもこの今昔物語集は兵制であるならそれはエリート階級である fact8: もしもこの白刃は八時以降である一方で播種期でないとすればモンゴル系である fact9: もし仮にこの白刃が八時以降であるし播種期であるならば「それはモンゴル系である」ということは本当である fact10: 仮にその監督機能は貿易フローであるとするとそれは八時以降だ fact11: この今昔物語集はエリート階級であるとすれば「この設定完了はうら若い」ということは成り立つ fact12: この白刃は弛み無い fact13: この白刃は播種期でない fact14: もし仮にその監督機能が八時以降であるとすればあの白刃は播種期でない fact15: 「その監督機能は貿易フローだ」ということは成り立つ fact16: この白刃は貿易フローだ一方で播種期でない ; $hypothesis$ = この設定完了はうら若い ; $proof$ = 
fact10 & fact15 -> int1: その監督機能は八時以降だ; int1 & fact4 -> int2: この白刃は八時以降だが播種期でない; int2 & fact8 -> int3: この白刃はモンゴル系だ; int3 & fact1 -> int4: この今昔物語集は兵制だ; int4 & fact7 -> int5: この今昔物語集はエリート階級である; int5 & fact11 -> hypothesis; __PROVED__
事実1: もしこの白刃がモンゴル系ならばこの今昔物語集は兵制だ
事実2: 仮に「何らかの物はうら若いけど八時以降でない」ということは誤りならばそれはうら若いということはない
事実3: もしその監督機能が兵制であるとすればこの今昔物語集は八時以降だ
事実4: もし仮にその監督機能が八時以降であるとするとこの白刃は八時以降だけれどそれは播種期でない
事実5: もしこの白刃が兵制であるとすればそれは播種期であるということはなくておまけにモンゴル系である
事実6: もし仮にあるものは播種期でないけれどモンゴル系であるとすれば貿易フローだ
事実7: もしもこの今昔物語集は兵制であるならそれはエリート階級である
事実8: もしもこの白刃は八時以降である一方で播種期でないとすればモンゴル系である
事実9: もし仮にこの白刃が八時以降であるし播種期であるならば「それはモンゴル系である」ということは本当である
事実10: 仮にその監督機能は貿易フローであるとするとそれは八時以降だ
事実11: この今昔物語集はエリート階級であるとすれば「この設定完了はうら若い」ということは成り立つ
事実12: この白刃は弛み無い
事実13: この白刃は播種期でない
事実14: もし仮にその監督機能が八時以降であるとすればあの白刃は播種期でない
事実15: 「その監督機能は貿易フローだ」ということは成り立つ
事実16: この白刃は貿易フローだ一方で播種期でない

仮説: この設定完了はうら若い
1. 事実10と事実15から、推論1: "その監督機能は八時以降だ"が導かれる
2. 推論1と事実4から、推論2: "この白刃は八時以降だが播種期でない"が導かれる
3. 推論2と事実8から、推論3: "この白刃はモンゴル系だ"が導かれる
4. 推論3と事実1から、推論4: "この今昔物語集は兵制だ"が導かれる
5. 推論4と事実7から、推論5: "この今昔物語集はエリート階級である"が導かれる
6. 推論5と事実11から、仮説が導かれる

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