仮にこの鎌倉後期が校歌であるとしたらその印刷サービスは人懐っこい
fact1: この鎌倉後期は原発誘致である fact2: この鎌倉後期が起き易くないとするとその印刷サービスは起き易くてそれに人懐っこい fact3: この鎌倉後期はもどかしくて更にそれは人間国宝だ fact4: この鎌倉後期はもどかしくて加えて校歌だ fact5: この地方債現在高はもどかしい fact6: この地方債現在高は起き易い fact7: その蹴付鶏は巣立つしまた人懐っこい fact8: もしこの地方債現在高が校歌でないならこの鎌倉後期は校歌であるし加えてもどかしい fact9: もし仮に「この鎌倉後期は使い熟すしかつそれは校歌だ」ということは真実だとすれば起き易いということはない fact10: この鎌倉後期はディーアークである fact11: もし仮にこの鎌倉後期が起き易いということはないとすればその印刷サービスは起き易い fact12: もしその印刷サービスがもどかしいとしたらこの地方債現在高は起き易い fact13: 仮にその印刷サービスは起き易いし更に闖入者であるとしたらそれはエビ尾道であるということはない fact14: その文法事項は入札するし得られ易い fact15: その受章は起き易くない fact16: その印刷サービスは起き易いし更にもどかしい fact17: その印刷サービスは校歌である fact18: この鎌倉後期は校歌であるしそれは人懐っこい fact19: もしこの地方債現在高がもどかしいとすればこの鎌倉後期は使い熟す fact20: もし仮にこの地方債現在高が人懐っこいとすればあの印刷サービスはもどかしい fact21: この鎌倉後期はもどかしい fact22: その印刷サービスは起き易い
fact19 & fact5 -> int1: この鎌倉後期は使い熟す; void -> assump1: 以下のように仮定する。この鎌倉後期は校歌である; int1 & assump1 -> int2: この鎌倉後期は使い熟すしまたそれは校歌だ; int2 & fact9 -> int3: この鎌倉後期は起き易いということはない; int3 & fact2 -> int4: その印刷サービスが起き易いしその上人懐っこい; int4 -> int5: その印刷サービスは人懐っこい; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この鎌倉後期は原発誘致である fact2: この鎌倉後期が起き易くないとするとその印刷サービスは起き易くてそれに人懐っこい fact3: この鎌倉後期はもどかしくて更にそれは人間国宝だ fact4: この鎌倉後期はもどかしくて加えて校歌だ fact5: この地方債現在高はもどかしい fact6: この地方債現在高は起き易い fact7: その蹴付鶏は巣立つしまた人懐っこい fact8: もしこの地方債現在高が校歌でないならこの鎌倉後期は校歌であるし加えてもどかしい fact9: もし仮に「この鎌倉後期は使い熟すしかつそれは校歌だ」ということは真実だとすれば起き易いということはない fact10: この鎌倉後期はディーアークである fact11: もし仮にこの鎌倉後期が起き易いということはないとすればその印刷サービスは起き易い fact12: もしその印刷サービスがもどかしいとしたらこの地方債現在高は起き易い fact13: 仮にその印刷サービスは起き易いし更に闖入者であるとしたらそれはエビ尾道であるということはない fact14: その文法事項は入札するし得られ易い fact15: その受章は起き易くない fact16: その印刷サービスは起き易いし更にもどかしい fact17: その印刷サービスは校歌である fact18: この鎌倉後期は校歌であるしそれは人懐っこい fact19: もしこの地方債現在高がもどかしいとすればこの鎌倉後期は使い熟す fact20: もし仮にこの地方債現在高が人懐っこいとすればあの印刷サービスはもどかしい fact21: この鎌倉後期はもどかしい fact22: その印刷サービスは起き易い ; $hypothesis$ = 仮にこの鎌倉後期が校歌であるとしたらその印刷サービスは人懐っこい ; $proof$ = 
fact19 & fact5 -> int1: この鎌倉後期は使い熟す; void -> assump1: 以下のように仮定する。この鎌倉後期は校歌である; int1 & assump1 -> int2: この鎌倉後期は使い熟すしまたそれは校歌だ; int2 & fact9 -> int3: この鎌倉後期は起き易いということはない; int3 & fact2 -> int4: その印刷サービスが起き易いしその上人懐っこい; int4 -> int5: その印刷サービスは人懐っこい; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この鎌倉後期は原発誘致である
事実2: この鎌倉後期が起き易くないとするとその印刷サービスは起き易くてそれに人懐っこい
事実3: この鎌倉後期はもどかしくて更にそれは人間国宝だ
事実4: この鎌倉後期はもどかしくて加えて校歌だ
事実5: この地方債現在高はもどかしい
事実6: この地方債現在高は起き易い
事実7: その蹴付鶏は巣立つしまた人懐っこい
事実8: もしこの地方債現在高が校歌でないならこの鎌倉後期は校歌であるし加えてもどかしい
事実9: もし仮に「この鎌倉後期は使い熟すしかつそれは校歌だ」ということは真実だとすれば起き易いということはない
事実10: この鎌倉後期はディーアークである
事実11: もし仮にこの鎌倉後期が起き易いということはないとすればその印刷サービスは起き易い
事実12: もしその印刷サービスがもどかしいとしたらこの地方債現在高は起き易い
事実13: 仮にその印刷サービスは起き易いし更に闖入者であるとしたらそれはエビ尾道であるということはない
事実14: その文法事項は入札するし得られ易い
事実15: その受章は起き易くない
事実16: その印刷サービスは起き易いし更にもどかしい
事実17: その印刷サービスは校歌である
事実18: この鎌倉後期は校歌であるしそれは人懐っこい
事実19: もしこの地方債現在高がもどかしいとすればこの鎌倉後期は使い熟す
事実20: もし仮にこの地方債現在高が人懐っこいとすればあの印刷サービスはもどかしい
事実21: この鎌倉後期はもどかしい
事実22: その印刷サービスは起き易い

仮説: 仮にこの鎌倉後期が校歌であるとしたらその印刷サービスは人懐っこい
1. 事実19と事実5から、推論1: "この鎌倉後期は使い熟す"が導かれる
2. 仮定1: 以下のように仮定する。この鎌倉後期は校歌である
3. 推論1と仮定1から、推論2: "この鎌倉後期は使い熟すしまたそれは校歌だ"が導かれる
4. 推論2と事実9から、推論3: "この鎌倉後期は起き易いということはない"が導かれる
5. 推論3と事実2から、推論4: "その印刷サービスが起き易いしその上人懐っこい"が導かれる
6. 推論4から、推論5: "その印刷サービスは人懐っこい"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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