あの断想は結う
fact1: もし仮にこの駱駝が切らすし更にそれが受電するとすると持ち難い fact2: もしこの駱駝が持ち難いとするとその定型入力は大量生産する fact3: もしとあるものが仇カラムでないけれど否定化だとすればそれは結わない fact4: この駱駝は切らすけれど受電しない fact5: この駱駝は受電しない fact6: 仮に「「けりであるかあるいは年度決算であるということはないかあるいは両方である」ということは嘘な」物があるとするとあの断想は飲み為さらない fact7: もしあの断想が飲み為さらないとしたらそれは極まる fact8: もし仮に「「けりであるかまたは年度決算であるかあるいは両方ともだ」ということは嘘である」ものがあるならあの断想は飲み為さるということはない fact9: もしもこのポップ・アートが年度決算だけれどけりでないならばあの断想は持ち難くない fact10: なにがしかの物はけりであるかあるいは年度決算でないかどちらもだ fact11: 何かは切らすしそれが受電するとしたらそれは持ち難い fact12: もしなにがしかの物が切らすがしかしそれが受電するということはないならばそれは持ち難い fact13: もし仮になにかは極まればそれは結う fact14: このポップ・アートが飲み為さるとすると年度決算であるしその上けりでない fact15: 年度決算はある fact16: もしもなにかは大量生産するとすれば年度決算である fact17: 「その定型入力は年度決算だ」ということは成り立つ fact18: もし仮にあの断想は大量生産するとしたら「その定型入力は禍々しさであるかあるいはそれは受け入れ易くないかあるいはどちらもだ」ということは成り立つということはない fact19: もしとあるものは大量生産すれば「それはけりであるか年度決算でない」ということは成り立つということはない fact20: その定型入力が大量生産すればそれは年度決算である
fact12 -> int1: 仮にこの駱駝は切らすがしかし受電しないとしたらそれは持ち難い; int1 & fact4 -> int2: この駱駝は持ち難い; int2 & fact2 -> int3: その定型入力は大量生産する; fact19 -> int4: その定型入力は大量生産するなら「けりであるかもしくは年度決算でないかまたは両方ともだ」ということは間違いである; int3 & int4 -> int5: 「その定型入力はけりであるかあるいは年度決算でないかあるいは両方ともである」ということは誤りである; int5 -> int6: 「「けりであるか年度決算でないかあるいは両方ともである」ということは成り立つということはない」物はある; int6 & fact6 -> int7: あの断想は飲み為さらない; int7 & fact7 -> int8: 「あの断想は極まる」ということは真実だ; fact13 -> int9: もし仮に「あの断想は極まる」ということは正しいとするとそれは結う; int8 & int9 -> hypothesis;
「「禍々しさであるかあるいは受け入れ易いということはないか両方ともである」ということは嘘である」ものはある
fact23 -> int10: もし仮にその走行車線は仇カラムでないがしかし否定化だとすればそれは結わない;
$facts$ = fact1: もし仮にこの駱駝が切らすし更にそれが受電するとすると持ち難い fact2: もしこの駱駝が持ち難いとするとその定型入力は大量生産する fact3: もしとあるものが仇カラムでないけれど否定化だとすればそれは結わない fact4: この駱駝は切らすけれど受電しない fact5: この駱駝は受電しない fact6: 仮に「「けりであるかあるいは年度決算であるということはないかあるいは両方である」ということは嘘な」物があるとするとあの断想は飲み為さらない fact7: もしあの断想が飲み為さらないとしたらそれは極まる fact8: もし仮に「「けりであるかまたは年度決算であるかあるいは両方ともだ」ということは嘘である」ものがあるならあの断想は飲み為さるということはない fact9: もしもこのポップ・アートが年度決算だけれどけりでないならばあの断想は持ち難くない fact10: なにがしかの物はけりであるかあるいは年度決算でないかどちらもだ fact11: 何かは切らすしそれが受電するとしたらそれは持ち難い fact12: もしなにがしかの物が切らすがしかしそれが受電するということはないならばそれは持ち難い fact13: もし仮になにかは極まればそれは結う fact14: このポップ・アートが飲み為さるとすると年度決算であるしその上けりでない fact15: 年度決算はある fact16: もしもなにかは大量生産するとすれば年度決算である fact17: 「その定型入力は年度決算だ」ということは成り立つ fact18: もし仮にあの断想は大量生産するとしたら「その定型入力は禍々しさであるかあるいはそれは受け入れ易くないかあるいはどちらもだ」ということは成り立つということはない fact19: もしとあるものは大量生産すれば「それはけりであるか年度決算でない」ということは成り立つということはない fact20: その定型入力が大量生産すればそれは年度決算である ; $hypothesis$ = あの断想は結う ; $proof$ = 
fact12 -> int1: 仮にこの駱駝は切らすがしかし受電しないとしたらそれは持ち難い; int1 & fact4 -> int2: この駱駝は持ち難い; int2 & fact2 -> int3: その定型入力は大量生産する; fact19 -> int4: その定型入力は大量生産するなら「けりであるかもしくは年度決算でないかまたは両方ともだ」ということは間違いである; int3 & int4 -> int5: 「その定型入力はけりであるかあるいは年度決算でないかあるいは両方ともである」ということは誤りである; int5 -> int6: 「「けりであるか年度決算でないかあるいは両方ともである」ということは成り立つということはない」物はある; int6 & fact6 -> int7: あの断想は飲み為さらない; int7 & fact7 -> int8: 「あの断想は極まる」ということは真実だ; fact13 -> int9: もし仮に「あの断想は極まる」ということは正しいとするとそれは結う; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮にこの駱駝が切らすし更にそれが受電するとすると持ち難い
事実2: もしこの駱駝が持ち難いとするとその定型入力は大量生産する
事実3: もしとあるものが仇カラムでないけれど否定化だとすればそれは結わない
事実4: この駱駝は切らすけれど受電しない
事実5: この駱駝は受電しない
事実6: 仮に「「けりであるかあるいは年度決算であるということはないかあるいは両方である」ということは嘘な」物があるとするとあの断想は飲み為さらない
事実7: もしあの断想が飲み為さらないとしたらそれは極まる
事実8: もし仮に「「けりであるかまたは年度決算であるかあるいは両方ともだ」ということは嘘である」ものがあるならあの断想は飲み為さるということはない
事実9: もしもこのポップ・アートが年度決算だけれどけりでないならばあの断想は持ち難くない
事実10: なにがしかの物はけりであるかあるいは年度決算でないかどちらもだ
事実11: 何かは切らすしそれが受電するとしたらそれは持ち難い
事実12: もしなにがしかの物が切らすがしかしそれが受電するということはないならばそれは持ち難い
事実13: もし仮になにかは極まればそれは結う
事実14: このポップ・アートが飲み為さるとすると年度決算であるしその上けりでない
事実15: 年度決算はある
事実16: もしもなにかは大量生産するとすれば年度決算である
事実17: 「その定型入力は年度決算だ」ということは成り立つ
事実18: もし仮にあの断想は大量生産するとしたら「その定型入力は禍々しさであるかあるいはそれは受け入れ易くないかあるいはどちらもだ」ということは成り立つということはない
事実19: もしとあるものは大量生産すれば「それはけりであるか年度決算でない」ということは成り立つということはない
事実20: その定型入力が大量生産すればそれは年度決算である

仮説: あの断想は結う
1. 事実12から、推論1: "仮にこの駱駝は切らすがしかし受電しないとしたらそれは持ち難い"が導かれる
2. 推論1と事実4から、推論2: "この駱駝は持ち難い"が導かれる
3. 推論2と事実2から、推論3: "その定型入力は大量生産する"が導かれる
4. 事実19から、推論4: "その定型入力は大量生産するなら「けりであるかもしくは年度決算でないかまたは両方ともだ」ということは間違いである"が導かれる
5. 推論3と推論4から、推論5: "「その定型入力はけりであるかあるいは年度決算でないかあるいは両方ともである」ということは誤りである"が導かれる
6. 推論5から、推論6: "「「けりであるか年度決算でないかあるいは両方ともである」ということは成り立つということはない」物はある"が導かれる
7. 推論6と事実6から、推論7: "あの断想は飲み為さらない"が導かれる
8. 推論7と事実7から、推論8: "「あの断想は極まる」ということは真実だ"が導かれる
9. 事実13から、推論9: "もし仮に「あの断想は極まる」ということは正しいとするとそれは結う"が導かれる
10. 推論8と推論9から、仮説が導かれる

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