この日向国造は差し上げない
fact1: なんらかのものが精白するとすれば自然エネルギーだ fact2: 何らかのものが隠し立てしないならばそれは買い易いしそれに差し上げる fact3: 仮にそのＥＮＵＭが長細くない一方で自然エネルギーならそれは放り出すということはない fact4: 「そのＥＮＵＭは自然エネルギーであるしおまけに差し上げる」ということは正しいとするとこの日向国造は隠し立てしない fact5: 仮にこの幽鬼は放り出さないとすれば「そのＥＮＵＭは自然エネルギーでないしそれに長細くない」ということは成り立たない fact6: そのＥＮＵＭが放り出さないならばあの日向国造は差し上げない fact7: この末法思想流布は精白する fact8: そのＥＮＵＭは精白する fact9: このアジア主義は隠し立てする fact10: もしもこのアジア主義が買い易いし隠し立てするとしたらそのＥＮＵＭは長細くない fact11: すべては買い易くて隠し立てする
fact11 -> int1: このアジア主義は買い易くてさらに隠し立てする; int1 & fact10 -> int2: そのＥＮＵＭは長細いということはない; fact1 -> int3: そのＥＮＵＭは精白するとしたら「自然エネルギーだ」ということは真実だ; fact8 & int3 -> int4: そのＥＮＵＭは自然エネルギーである; int2 & int4 -> int5: そのＥＮＵＭは長細くない一方で自然エネルギーだ; int5 & fact3 -> int6: そのＥＮＵＭは放り出さない; int6 & fact6 -> hypothesis;
この日向国造は差し上げる
fact12 -> int7: もしこの日向国造が隠し立てするということはないなら買い易いしその上差し上げる;
$facts$ = fact1: なんらかのものが精白するとすれば自然エネルギーだ fact2: 何らかのものが隠し立てしないならばそれは買い易いしそれに差し上げる fact3: 仮にそのＥＮＵＭが長細くない一方で自然エネルギーならそれは放り出すということはない fact4: 「そのＥＮＵＭは自然エネルギーであるしおまけに差し上げる」ということは正しいとするとこの日向国造は隠し立てしない fact5: 仮にこの幽鬼は放り出さないとすれば「そのＥＮＵＭは自然エネルギーでないしそれに長細くない」ということは成り立たない fact6: そのＥＮＵＭが放り出さないならばあの日向国造は差し上げない fact7: この末法思想流布は精白する fact8: そのＥＮＵＭは精白する fact9: このアジア主義は隠し立てする fact10: もしもこのアジア主義が買い易いし隠し立てするとしたらそのＥＮＵＭは長細くない fact11: すべては買い易くて隠し立てする ; $hypothesis$ = この日向国造は差し上げない ; $proof$ = 
fact11 -> int1: このアジア主義は買い易くてさらに隠し立てする; int1 & fact10 -> int2: そのＥＮＵＭは長細いということはない; fact1 -> int3: そのＥＮＵＭは精白するとしたら「自然エネルギーだ」ということは真実だ; fact8 & int3 -> int4: そのＥＮＵＭは自然エネルギーである; int2 & int4 -> int5: そのＥＮＵＭは長細くない一方で自然エネルギーだ; int5 & fact3 -> int6: そのＥＮＵＭは放り出さない; int6 & fact6 -> hypothesis; __PROVED__
事実1: なんらかのものが精白するとすれば自然エネルギーだ
事実2: 何らかのものが隠し立てしないならばそれは買い易いしそれに差し上げる
事実3: 仮にそのＥＮＵＭが長細くない一方で自然エネルギーならそれは放り出すということはない
事実4: 「そのＥＮＵＭは自然エネルギーであるしおまけに差し上げる」ということは正しいとするとこの日向国造は隠し立てしない
事実5: 仮にこの幽鬼は放り出さないとすれば「そのＥＮＵＭは自然エネルギーでないしそれに長細くない」ということは成り立たない
事実6: そのＥＮＵＭが放り出さないならばあの日向国造は差し上げない
事実7: この末法思想流布は精白する
事実8: そのＥＮＵＭは精白する
事実9: このアジア主義は隠し立てする
事実10: もしもこのアジア主義が買い易いし隠し立てするとしたらそのＥＮＵＭは長細くない
事実11: すべては買い易くて隠し立てする

仮説: この日向国造は差し上げない
1. 事実11から、推論1: "このアジア主義は買い易くてさらに隠し立てする"が導かれる
2. 推論1と事実10から、推論2: "そのＥＮＵＭは長細いということはない"が導かれる
3. 事実1から、推論3: "そのＥＮＵＭは精白するとしたら「自然エネルギーだ」ということは真実だ"が導かれる
4. 事実8と推論3から、推論4: "そのＥＮＵＭは自然エネルギーである"が導かれる
5. 推論2と推論4から、推論5: "そのＥＮＵＭは長細くない一方で自然エネルギーだ"が導かれる
6. 推論5と事実3から、推論6: "そのＥＮＵＭは放り出さない"が導かれる
7. 推論6と事実6から、仮説が導かれる

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