あの総裁選はケインズ派経済学でない
fact1: もしこの大衆車は起草でないなら「このネクロポリスは起草でない」ということは事実だ fact2: このネクロポリスは連れ歩くということはない fact3: このネクロポリスはＧＰＳ受信機でなくて起草でない fact4: 仮にこの大衆車が起草であるかあるいはそれがＧＰＳ受信機であるかあるいはどちらもならその貸し付け金元利収入はケインズ派経済学でない fact5: もし仮にこの大衆車が良しないし更に起草でないとしたらその貸し付け金元利収入は間接化する fact6: もしもこのネクロポリスが起草でないならその貸し付け金元利収入は良しないし更に起草でない fact7: もし仮にこの大衆車が起草でないならその貸し付け金元利収入は間接化しなくてその上起草であるということはない fact8: 「あの総裁選は起草であるということはない」ということは成り立つならばあの大衆車はケインズ派経済学でなくて起草でない fact9: もし仮になにがしかのものが良しということはないしその上それはＧＰＳ受信機でないとすれば「それは間接化しない」ということは事実である fact10: もしもその貸し付け金元利収入が間接化しないがしかしケインズ派経済学であるとするとあの総裁選は起草だ fact11: このネクロポリスは伝え易い fact12: あの総裁選は連れ歩くかもしくはそれは間接化するかあるいは両方ともである fact13: もしもその貸し付け金元利収入が間接化しないがしかし起草ならこのネクロポリスは良し fact14: このネクロポリスは執政でない fact15: この大衆車は良し fact16: もしも「その貸し付け金元利収入は起草でないがしかし良し」ということは真実だとすればあのネクロポリスは間接化する fact17: この大衆車が起草であるかあるいはケインズ派経済学であるかどちらもであるとするとあの総裁選は間接化するということはない fact18: その貸し付け金元利収入は間接化しないし起草であるということはないとすると「このネクロポリスは良し」ということは本当である fact19: もし仮にこのネクロポリスがＧＰＳ受信機であるかそれは良しかあるいはどちらもであるとすると「あの総裁選はケインズ派経済学でない」ということは成り立つ fact20: このネクロポリスは起草でなくてその上ｇＰＳ受信機でない fact21: 全ての物は起草でない
fact21 -> int1: この大衆車は起草でない; int1 & fact7 -> int2: その貸し付け金元利収入は間接化しないし加えて起草でない; int2 & fact18 -> int3: このネクロポリスは良し; int3 -> int4: このネクロポリスはＧＰＳ受信機であるかもしくはそれは良し; int4 & fact19 -> hypothesis;
あの総裁選はケインズ派経済学だ
fact22 -> int5: もし仮にあの総裁選は良しないしその上ｇＰＳ受信機でないとすると間接化しない;
$facts$ = fact1: もしこの大衆車は起草でないなら「このネクロポリスは起草でない」ということは事実だ fact2: このネクロポリスは連れ歩くということはない fact3: このネクロポリスはＧＰＳ受信機でなくて起草でない fact4: 仮にこの大衆車が起草であるかあるいはそれがＧＰＳ受信機であるかあるいはどちらもならその貸し付け金元利収入はケインズ派経済学でない fact5: もし仮にこの大衆車が良しないし更に起草でないとしたらその貸し付け金元利収入は間接化する fact6: もしもこのネクロポリスが起草でないならその貸し付け金元利収入は良しないし更に起草でない fact7: もし仮にこの大衆車が起草でないならその貸し付け金元利収入は間接化しなくてその上起草であるということはない fact8: 「あの総裁選は起草であるということはない」ということは成り立つならばあの大衆車はケインズ派経済学でなくて起草でない fact9: もし仮になにがしかのものが良しということはないしその上それはＧＰＳ受信機でないとすれば「それは間接化しない」ということは事実である fact10: もしもその貸し付け金元利収入が間接化しないがしかしケインズ派経済学であるとするとあの総裁選は起草だ fact11: このネクロポリスは伝え易い fact12: あの総裁選は連れ歩くかもしくはそれは間接化するかあるいは両方ともである fact13: もしもその貸し付け金元利収入が間接化しないがしかし起草ならこのネクロポリスは良し fact14: このネクロポリスは執政でない fact15: この大衆車は良し fact16: もしも「その貸し付け金元利収入は起草でないがしかし良し」ということは真実だとすればあのネクロポリスは間接化する fact17: この大衆車が起草であるかあるいはケインズ派経済学であるかどちらもであるとするとあの総裁選は間接化するということはない fact18: その貸し付け金元利収入は間接化しないし起草であるということはないとすると「このネクロポリスは良し」ということは本当である fact19: もし仮にこのネクロポリスがＧＰＳ受信機であるかそれは良しかあるいはどちらもであるとすると「あの総裁選はケインズ派経済学でない」ということは成り立つ fact20: このネクロポリスは起草でなくてその上ｇＰＳ受信機でない fact21: 全ての物は起草でない ; $hypothesis$ = あの総裁選はケインズ派経済学でない ; $proof$ = 
fact21 -> int1: この大衆車は起草でない; int1 & fact7 -> int2: その貸し付け金元利収入は間接化しないし加えて起草でない; int2 & fact18 -> int3: このネクロポリスは良し; int3 -> int4: このネクロポリスはＧＰＳ受信機であるかもしくはそれは良し; int4 & fact19 -> hypothesis; __PROVED__
事実1: もしこの大衆車は起草でないなら「このネクロポリスは起草でない」ということは事実だ
事実2: このネクロポリスは連れ歩くということはない
事実3: このネクロポリスはＧＰＳ受信機でなくて起草でない
事実4: 仮にこの大衆車が起草であるかあるいはそれがＧＰＳ受信機であるかあるいはどちらもならその貸し付け金元利収入はケインズ派経済学でない
事実5: もし仮にこの大衆車が良しないし更に起草でないとしたらその貸し付け金元利収入は間接化する
事実6: もしもこのネクロポリスが起草でないならその貸し付け金元利収入は良しないし更に起草でない
事実7: もし仮にこの大衆車が起草でないならその貸し付け金元利収入は間接化しなくてその上起草であるということはない
事実8: 「あの総裁選は起草であるということはない」ということは成り立つならばあの大衆車はケインズ派経済学でなくて起草でない
事実9: もし仮になにがしかのものが良しということはないしその上それはＧＰＳ受信機でないとすれば「それは間接化しない」ということは事実である
事実10: もしもその貸し付け金元利収入が間接化しないがしかしケインズ派経済学であるとするとあの総裁選は起草だ
事実11: このネクロポリスは伝え易い
事実12: あの総裁選は連れ歩くかもしくはそれは間接化するかあるいは両方ともである
事実13: もしもその貸し付け金元利収入が間接化しないがしかし起草ならこのネクロポリスは良し
事実14: このネクロポリスは執政でない
事実15: この大衆車は良し
事実16: もしも「その貸し付け金元利収入は起草でないがしかし良し」ということは真実だとすればあのネクロポリスは間接化する
事実17: この大衆車が起草であるかあるいはケインズ派経済学であるかどちらもであるとするとあの総裁選は間接化するということはない
事実18: その貸し付け金元利収入は間接化しないし起草であるということはないとすると「このネクロポリスは良し」ということは本当である
事実19: もし仮にこのネクロポリスがＧＰＳ受信機であるかそれは良しかあるいはどちらもであるとすると「あの総裁選はケインズ派経済学でない」ということは成り立つ
事実20: このネクロポリスは起草でなくてその上ｇＰＳ受信機でない
事実21: 全ての物は起草でない

仮説: あの総裁選はケインズ派経済学でない
1. 事実21から、推論1: "この大衆車は起草でない"が導かれる
2. 推論1と事実7から、推論2: "その貸し付け金元利収入は間接化しないし加えて起草でない"が導かれる
3. 推論2と事実18から、推論3: "このネクロポリスは良し"が導かれる
4. 推論3から、推論4: "このネクロポリスはＧＰＳ受信機であるかもしくはそれは良し"が導かれる
5. 推論4と事実19から、仮説が導かれる

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