仮にあの散策自由は混入し易いとすれば「この礼賛は切り離し難い」ということは正しい
fact1: もしも「混入し易いかあるいは冷却するかどちらもな」ものがあればこの礼賛は果たし得る fact2: この礼賛は冷却する fact3: なんらかの物が果たし得るならそれは切り離し難い fact4: なにがしかの物は混入し易い
void -> assump1: 以下のように仮定する。あの散策自由は混入し易い; assump1 -> int1: あの散策自由は混入し易いかまたは冷却するかまたは両方だ; int1 -> int2: 「混入し易いか冷却するかまたは両方である」ものはある; int2 & fact1 -> int3: この礼賛は果たし得る; fact3 -> int4: もしこの礼賛は果たし得れば「それは切り離し難い」ということは真実だ; int3 & int4 -> int5: この礼賛は切り離し難い; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしも「混入し易いかあるいは冷却するかどちらもな」ものがあればこの礼賛は果たし得る fact2: この礼賛は冷却する fact3: なんらかの物が果たし得るならそれは切り離し難い fact4: なにがしかの物は混入し易い ; $hypothesis$ = 仮にあの散策自由は混入し易いとすれば「この礼賛は切り離し難い」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの散策自由は混入し易い; assump1 -> int1: あの散策自由は混入し易いかまたは冷却するかまたは両方だ; int1 -> int2: 「混入し易いか冷却するかまたは両方である」ものはある; int2 & fact1 -> int3: この礼賛は果たし得る; fact3 -> int4: もしこの礼賛は果たし得れば「それは切り離し難い」ということは真実だ; int3 & int4 -> int5: この礼賛は切り離し難い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「混入し易いかあるいは冷却するかどちらもな」ものがあればこの礼賛は果たし得る
事実2: この礼賛は冷却する
事実3: なんらかの物が果たし得るならそれは切り離し難い
事実4: なにがしかの物は混入し易い

仮説: 仮にあの散策自由は混入し易いとすれば「この礼賛は切り離し難い」ということは正しい
1. 仮定1: 以下のように仮定する。あの散策自由は混入し易い
2. 仮定1から、推論1: "あの散策自由は混入し易いかまたは冷却するかまたは両方だ"が導かれる
3. 推論1から、推論2: "「混入し易いか冷却するかまたは両方である」ものはある"が導かれる
4. 推論2と事実1から、推論3: "この礼賛は果たし得る"が導かれる
5. 事実3から、推論4: "もしこの礼賛は果たし得れば「それは切り離し難い」ということは真実だ"が導かれる
6. 推論3と推論4から、推論5: "この礼賛は切り離し難い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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