もし仮にその宮神輿が健全性であるとするとこのゴムボートはめでたし
fact1: ある物が上げ難いならそれはめでたし fact2: もし仮にその宮神輿が健全性ならばこのゴムボートは上げ難い fact3: もしもなんらかの物は健全性でないならば「上げ難いけどめでたしない」ということは偽だ
void -> assump1: 以下のように仮定する。その宮神輿は健全性である; fact2 & assump1 -> int1: このゴムボートは上げ難い; fact1 -> int2: もし仮に「このゴムボートは上げ難い」ということは成り立つとすればそれはめでたし; int1 & int2 -> int3: このゴムボートはめでたし; [assump1] & int3 -> hypothesis;
その要注目はめでたし
fact4 -> int4: もし「その宮神輿は健全性であるということはない」ということは誤っているということはないとしたら「それは上げ難いしめでたしということはない」ということは誤っている;
$facts$ = fact1: ある物が上げ難いならそれはめでたし fact2: もし仮にその宮神輿が健全性ならばこのゴムボートは上げ難い fact3: もしもなんらかの物は健全性でないならば「上げ難いけどめでたしない」ということは偽だ ; $hypothesis$ = もし仮にその宮神輿が健全性であるとするとこのゴムボートはめでたし ; $proof$ = 
void -> assump1: 以下のように仮定する。その宮神輿は健全性である; fact2 & assump1 -> int1: このゴムボートは上げ難い; fact1 -> int2: もし仮に「このゴムボートは上げ難い」ということは成り立つとすればそれはめでたし; int1 & int2 -> int3: このゴムボートはめでたし; [assump1] & int3 -> hypothesis; __PROVED__
事実1: ある物が上げ難いならそれはめでたし
事実2: もし仮にその宮神輿が健全性ならばこのゴムボートは上げ難い
事実3: もしもなんらかの物は健全性でないならば「上げ難いけどめでたしない」ということは偽だ

仮説: もし仮にその宮神輿が健全性であるとするとこのゴムボートはめでたし
1. 仮定1: 以下のように仮定する。その宮神輿は健全性である
2. 事実2と仮定1から、推論1: "このゴムボートは上げ難い"が導かれる
3. 事実1から、推論2: "もし仮に「このゴムボートは上げ難い」ということは成り立つとすればそれはめでたし"が導かれる
4. 推論1と推論2から、推論3: "このゴムボートはめでたし"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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