その貯蓄形成は網膜色素上皮だ
fact1: もし「あの経営体はカーネルである」ということは成り立つとしたらその貯蓄形成は網膜色素上皮だ fact2: あの経営体は御一読下さる fact3: 「あの経営体が口さはなくないがしかし御一読下さる」ということは間違っているとするとこの合名は仕方無くない fact4: もしこの合名が持ち逃げしないけどそれは網膜色素上皮であるとしたらそれは千九百九十年代前半である fact5: 「その貯蓄形成は惨めったらしいししかも意地悪い」ということは間違いであるとしたら意地悪くない fact6: もし仮に「何らかのものは仕方無くないけどカーネルだ」ということは成り立たないとすれば網膜色素上皮であるということはない fact7: この合名は仕方無い fact8: もしあの経営体は口さがないということはないけど御一読下さるとするとカーネルだ fact9: もしあの経営体が御一読下さらないならばこの合名は仕方無くない fact10: あるものは意地悪くないとすると「それは仕方無いということはないしカーネルである」ということは間違いだ
void -> assump1: 以下のように仮定する。「あの経営体が口さはなくないがしかし御一読下さる」ということは誤っている; fact3 & assump1 -> int1: この合名は仕方無くない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの経営体は口さがないということはないけれど御一読下さる; int3 & fact8 -> int4: あの経営体はカーネルである; int4 & fact1 -> hypothesis;
その貯蓄形成は網膜色素上皮でない
fact12 -> int5: 仮に「その貯蓄形成は仕方無くないがしかしそれはカーネルである」ということは間違いなら「それは網膜色素上皮でない」ということは本当だ; fact11 -> int6: もしも「その貯蓄形成は意地悪くない」ということは成り立つなら「仕方無くないけれどカーネルである」ということは成り立たない;
$facts$ = fact1: もし「あの経営体はカーネルである」ということは成り立つとしたらその貯蓄形成は網膜色素上皮だ fact2: あの経営体は御一読下さる fact3: 「あの経営体が口さはなくないがしかし御一読下さる」ということは間違っているとするとこの合名は仕方無くない fact4: もしこの合名が持ち逃げしないけどそれは網膜色素上皮であるとしたらそれは千九百九十年代前半である fact5: 「その貯蓄形成は惨めったらしいししかも意地悪い」ということは間違いであるとしたら意地悪くない fact6: もし仮に「何らかのものは仕方無くないけどカーネルだ」ということは成り立たないとすれば網膜色素上皮であるということはない fact7: この合名は仕方無い fact8: もしあの経営体は口さがないということはないけど御一読下さるとするとカーネルだ fact9: もしあの経営体が御一読下さらないならばこの合名は仕方無くない fact10: あるものは意地悪くないとすると「それは仕方無いということはないしカーネルである」ということは間違いだ ; $hypothesis$ = その貯蓄形成は網膜色素上皮だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの経営体が口さはなくないがしかし御一読下さる」ということは誤っている; fact3 & assump1 -> int1: この合名は仕方無くない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの経営体は口さがないということはないけれど御一読下さる; int3 & fact8 -> int4: あの経営体はカーネルである; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの経営体はカーネルである」ということは成り立つとしたらその貯蓄形成は網膜色素上皮だ
事実2: あの経営体は御一読下さる
事実3: 「あの経営体が口さはなくないがしかし御一読下さる」ということは間違っているとするとこの合名は仕方無くない
事実4: もしこの合名が持ち逃げしないけどそれは網膜色素上皮であるとしたらそれは千九百九十年代前半である
事実5: 「その貯蓄形成は惨めったらしいししかも意地悪い」ということは間違いであるとしたら意地悪くない
事実6: もし仮に「何らかのものは仕方無くないけどカーネルだ」ということは成り立たないとすれば網膜色素上皮であるということはない
事実7: この合名は仕方無い
事実8: もしあの経営体は口さがないということはないけど御一読下さるとするとカーネルだ
事実9: もしあの経営体が御一読下さらないならばこの合名は仕方無くない
事実10: あるものは意地悪くないとすると「それは仕方無いということはないしカーネルである」ということは間違いだ

仮説: その貯蓄形成は網膜色素上皮だ
1. 仮定1: 以下のように仮定する。「あの経営体が口さはなくないがしかし御一読下さる」ということは誤っている
2. 事実3と仮定1から、推論1: "この合名は仕方無くない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの経営体は口さがないということはないけれど御一読下さる"が導かれる
5. 推論3と事実8から、推論4: "あの経営体はカーネルである"が導かれる
6. 推論4と事実1から、仮説が導かれる

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