「もし仮に御高いとすれば後ろ暗い」ものはある
fact1: あの制限解釈はあどけない fact2: あの制限解釈は付き易い fact3: 仮にあの制限解釈が御高いならば後ろ暗いしかつそれは達磨鮫でない fact4: 「あの制限解釈は梯子段である」ということは成り立つ fact5: もし仮に何かは閉塞障害でないならそれは御高いし達磨鮫だ fact6: 付き易い物は入店する fact7: あの出っ歯は間違い無いけれど画像サイズでない fact8: 「あの制限解釈は達磨鮫でない」ということは事実と異なるということはない fact9: もし仮にとあるものは入店するとしたら「右足でなくて更に無所属である」ということは成り立たない fact10: 仮にあの制限解釈は御高いとすれば「達磨鮫でない」ということは事実である fact11: あの制限解釈は食事摂取量だ
void -> assump1: 以下のように仮定する。あの制限解釈は御高い; fact3 & assump1 -> int1: あの制限解釈は後ろ暗いが達磨鮫でない; int1 -> int2: あの制限解釈は後ろ暗い; [assump1] & int2 -> int3: 仮にあの制限解釈が御高いとすればそれは後ろ暗い; int3 -> hypothesis;
あの始皇帝は達磨鮫だ
fact12 -> int4: もし「あの始皇帝は閉塞障害でない」ということは確かならそれは御高くてそれは達磨鮫である; fact15 -> int5: もしあの制限解釈は入店するとしたら「それは右足でない一方で無所属だ」ということは嘘だ; fact13 -> int6: あの制限解釈が付き易いならそれは入店する; int6 & fact14 -> int7: あの制限解釈は入店する; int5 & int7 -> int8: 「あの制限解釈は右足でない一方でそれは無所属である」ということは嘘だ; int8 -> int9: 「「「右足でないし無所属である」ということは誤りでない」ということは誤りな」物はある;
$facts$ = fact1: あの制限解釈はあどけない fact2: あの制限解釈は付き易い fact3: 仮にあの制限解釈が御高いならば後ろ暗いしかつそれは達磨鮫でない fact4: 「あの制限解釈は梯子段である」ということは成り立つ fact5: もし仮に何かは閉塞障害でないならそれは御高いし達磨鮫だ fact6: 付き易い物は入店する fact7: あの出っ歯は間違い無いけれど画像サイズでない fact8: 「あの制限解釈は達磨鮫でない」ということは事実と異なるということはない fact9: もし仮にとあるものは入店するとしたら「右足でなくて更に無所属である」ということは成り立たない fact10: 仮にあの制限解釈は御高いとすれば「達磨鮫でない」ということは事実である fact11: あの制限解釈は食事摂取量だ ; $hypothesis$ = 「もし仮に御高いとすれば後ろ暗い」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの制限解釈は御高い; fact3 & assump1 -> int1: あの制限解釈は後ろ暗いが達磨鮫でない; int1 -> int2: あの制限解釈は後ろ暗い; [assump1] & int2 -> int3: 仮にあの制限解釈が御高いとすればそれは後ろ暗い; int3 -> hypothesis; __PROVED__
事実1: あの制限解釈はあどけない
事実2: あの制限解釈は付き易い
事実3: 仮にあの制限解釈が御高いならば後ろ暗いしかつそれは達磨鮫でない
事実4: 「あの制限解釈は梯子段である」ということは成り立つ
事実5: もし仮に何かは閉塞障害でないならそれは御高いし達磨鮫だ
事実6: 付き易い物は入店する
事実7: あの出っ歯は間違い無いけれど画像サイズでない
事実8: 「あの制限解釈は達磨鮫でない」ということは事実と異なるということはない
事実9: もし仮にとあるものは入店するとしたら「右足でなくて更に無所属である」ということは成り立たない
事実10: 仮にあの制限解釈は御高いとすれば「達磨鮫でない」ということは事実である
事実11: あの制限解釈は食事摂取量だ

仮説: 「もし仮に御高いとすれば後ろ暗い」ものはある
1. 仮定1: 以下のように仮定する。あの制限解釈は御高い
2. 事実3と仮定1から、推論1: "あの制限解釈は後ろ暗いが達磨鮫でない"が導かれる
3. 推論1から、推論2: "あの制限解釈は後ろ暗い"が導かれる
4. [仮定1]と推論2から、推論3: "仮にあの制限解釈が御高いとすればそれは後ろ暗い"が導かれる
5. 推論3から、仮説が導かれる

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