あの毬藻は下がり始めない
fact1: もし仮に何かは上積みするかあるいは世襲制であるかどちらもであるならあの毬藻は下がり始めない fact2: ある物は増やすということはない fact3: とあるものが増やさくないとすれば下がり始めるか倍加しないかあるいはどちらもだ fact4: もし仮にこの優先株式は倍加するということはないならば「この範囲選択は上積みする」ということは確かだ fact5: もしも「増やさくない」物があるとしたらこの優先株式は倍加するということはない
fact2 & fact5 -> int1: この優先株式は倍加しない; int1 & fact4 -> int2: 「この範囲選択は上積みする」ということは事実だ; int2 -> int3: この範囲選択は上積みするかもしくは世襲制である; int3 -> int4: 「「上積みするか世襲制であるかあるいは両方ともだ」ということは本当な」ものはある; int4 & fact1 -> hypothesis;
あの毬藻は下がり始める
fact6 -> int5: この優先株式が増やすということはないならばそれは下がり始めるかあるいは倍加しない;
$facts$ = fact1: もし仮に何かは上積みするかあるいは世襲制であるかどちらもであるならあの毬藻は下がり始めない fact2: ある物は増やすということはない fact3: とあるものが増やさくないとすれば下がり始めるか倍加しないかあるいはどちらもだ fact4: もし仮にこの優先株式は倍加するということはないならば「この範囲選択は上積みする」ということは確かだ fact5: もしも「増やさくない」物があるとしたらこの優先株式は倍加するということはない ; $hypothesis$ = あの毬藻は下がり始めない ; $proof$ = 
fact2 & fact5 -> int1: この優先株式は倍加しない; int1 & fact4 -> int2: 「この範囲選択は上積みする」ということは事実だ; int2 -> int3: この範囲選択は上積みするかもしくは世襲制である; int3 -> int4: 「「上積みするか世襲制であるかあるいは両方ともだ」ということは本当な」ものはある; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に何かは上積みするかあるいは世襲制であるかどちらもであるならあの毬藻は下がり始めない
事実2: ある物は増やすということはない
事実3: とあるものが増やさくないとすれば下がり始めるか倍加しないかあるいはどちらもだ
事実4: もし仮にこの優先株式は倍加するということはないならば「この範囲選択は上積みする」ということは確かだ
事実5: もしも「増やさくない」物があるとしたらこの優先株式は倍加するということはない

仮説: あの毬藻は下がり始めない
1. 事実2と事実5から、推論1: "この優先株式は倍加しない"が導かれる
2. 推論1と事実4から、推論2: "「この範囲選択は上積みする」ということは事実だ"が導かれる
3. 推論2から、推論3: "この範囲選択は上積みするかもしくは世襲制である"が導かれる
4. 推論3から、推論4: "「「上積みするか世襲制であるかあるいは両方ともだ」ということは本当な」ものはある"が導かれる
5. 推論4と事実1から、仮説が導かれる

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