「白猿神であるかまたはかりかりするかまたはどちらもな」物はある
fact1: 何らかのものが遣る一方でそれは進化し易くないとすればかりかりしない fact2: この公約はボトル・ウォーターである fact3: もしこの黄金時代がかりかりしないとするとこの公約はかりかりしない fact4: この公約はかりかりする fact5: この金額以上はかりかりする fact6: もしなにがしかのものが空洞化するとすると遣るけれど進化し易くない
fact4 -> int1: この公約は白猿神であるかもしくはかりかりする; int1 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> hypothesis;
この公約は切迫する
fact9 -> int2: もしこの黄金時代が遣るけれどそれは進化し易いということはないとすれば「それはかりかりしない」ということは確かだ; fact7 -> int3: 仮にこの黄金時代が空洞化するとするとそれは遣る一方で進化し易くない;
$facts$ = fact1: 何らかのものが遣る一方でそれは進化し易くないとすればかりかりしない fact2: この公約はボトル・ウォーターである fact3: もしこの黄金時代がかりかりしないとするとこの公約はかりかりしない fact4: この公約はかりかりする fact5: この金額以上はかりかりする fact6: もしなにがしかのものが空洞化するとすると遣るけれど進化し易くない ; $hypothesis$ = 「白猿神であるかまたはかりかりするかまたはどちらもな」物はある ; $proof$ = 
fact4 -> int1: この公約は白猿神であるかもしくはかりかりする; int1 -> hypothesis; __PROVED__
事実1: 何らかのものが遣る一方でそれは進化し易くないとすればかりかりしない
事実2: この公約はボトル・ウォーターである
事実3: もしこの黄金時代がかりかりしないとするとこの公約はかりかりしない
事実4: この公約はかりかりする
事実5: この金額以上はかりかりする
事実6: もしなにがしかのものが空洞化するとすると遣るけれど進化し易くない

仮説: 「白猿神であるかまたはかりかりするかまたはどちらもな」物はある
1. 事実4から、推論1: "この公約は白猿神であるかもしくはかりかりする"が導かれる
2. 推論1から、仮説が導かれる

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