あの当行は連ねらない
fact1: 仮に「集録する」ものがあるとすればあの名盤は悪戯電話でないけれどさんざめく fact2: 仮にその早春は集録しないならば「「あの名盤は程遠い一方で連ねるということはない」ということは成り立つということはない」ということは確かだ fact3: もし仮にこの天辺は連ねるということはないとすれば「焼損するがしかし黒しということはない」ということは正しくない fact4: 「もし「その早春は集録しないけれど悪戯電話である」ということは事実と異なるならその早春は天井画でない」ということは事実である fact5: 疑わしいものは程遠い fact6: 仮に「あの名盤は集録しないが程遠い」ということは誤りだとしたら天井画だということはない fact7: 仮にあの名盤は天井画でないとすれば「その早春は天井画でなくてその上悪戯電話でない」ということは偽だ fact8: あの当行が悪戯電話だとしたらその早春は連ねるということはない fact9: 仮に「程遠い」物はあるとしたら「その早春は天井画でないし集録しない」ということは嘘である fact10: 「その早春は天井画でない一方でそれは悪戯電話である」ということは嘘だ fact11: あの名盤は集録する fact12: 「もし仮に「この天辺は焼損する一方で黒しない」ということは成り立たないならこの天辺は疑わしい」ということは確かである fact13: もしもこの天辺は疑わしくないなら「その先述は焼損しないがしかしそれは疑わしい」ということは成り立たない fact14: もしあの当行は黒しないとすれば「それは連ねらない」ということは本当である fact15: もし仮に「その早春は天井画でなくてしかもそれは集録するということはない」ということは誤りならばあの名盤は悪戯電話でない fact16: もしもその早春は天井画でないとしたら「その先述は疑わしくないけれどそれは天井画だ」ということは成り立たない fact17: あの当行は程遠いなら「あの名盤は連ねらない」ということは事実である fact18: もし仮に「その早春は天井画でないし更に悪戯電話であるということはない」ということは成り立たないとするとこの天辺は疑わしくない fact19: もしも「その先述は焼損しないけれど疑わしい」ということは成り立たないならあの当行は黒しということはない fact20: もしも「あの名盤は程遠くないけれど悪戯電話である」ということは成り立たないとするとその早春は疑わしくない
void -> assump1: 以下のように仮定する。あの名盤は集録しないがしかし程遠い; assump1 -> int1: あの名盤は集録しない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの名盤は集録するということはないけど程遠い」ということは成り立たない; int3 & fact6 -> int4: あの名盤は天井画であるということはない; int4 & fact7 -> int5: 「その早春は天井画でないしおまけにそれは悪戯電話でない」ということは間違っている; int5 & fact18 -> int6: この天辺は疑わしくない; int6 & fact13 -> int7: 「「その先述は焼損しないけど疑わしい」ということは事実である」ということは成り立つということはない; int7 & fact19 -> int8: あの当行は黒しない; int8 & fact14 -> hypothesis;
「あの当行は連ねる」ということは成り立つ
$facts$ = fact1: 仮に「集録する」ものがあるとすればあの名盤は悪戯電話でないけれどさんざめく fact2: 仮にその早春は集録しないならば「「あの名盤は程遠い一方で連ねるということはない」ということは成り立つということはない」ということは確かだ fact3: もし仮にこの天辺は連ねるということはないとすれば「焼損するがしかし黒しということはない」ということは正しくない fact4: 「もし「その早春は集録しないけれど悪戯電話である」ということは事実と異なるならその早春は天井画でない」ということは事実である fact5: 疑わしいものは程遠い fact6: 仮に「あの名盤は集録しないが程遠い」ということは誤りだとしたら天井画だということはない fact7: 仮にあの名盤は天井画でないとすれば「その早春は天井画でなくてその上悪戯電話でない」ということは偽だ fact8: あの当行が悪戯電話だとしたらその早春は連ねるということはない fact9: 仮に「程遠い」物はあるとしたら「その早春は天井画でないし集録しない」ということは嘘である fact10: 「その早春は天井画でない一方でそれは悪戯電話である」ということは嘘だ fact11: あの名盤は集録する fact12: 「もし仮に「この天辺は焼損する一方で黒しない」ということは成り立たないならこの天辺は疑わしい」ということは確かである fact13: もしもこの天辺は疑わしくないなら「その先述は焼損しないがしかしそれは疑わしい」ということは成り立たない fact14: もしあの当行は黒しないとすれば「それは連ねらない」ということは本当である fact15: もし仮に「その早春は天井画でなくてしかもそれは集録するということはない」ということは誤りならばあの名盤は悪戯電話でない fact16: もしもその早春は天井画でないとしたら「その先述は疑わしくないけれどそれは天井画だ」ということは成り立たない fact17: あの当行は程遠いなら「あの名盤は連ねらない」ということは事実である fact18: もし仮に「その早春は天井画でないし更に悪戯電話であるということはない」ということは成り立たないとするとこの天辺は疑わしくない fact19: もしも「その先述は焼損しないけれど疑わしい」ということは成り立たないならあの当行は黒しということはない fact20: もしも「あの名盤は程遠くないけれど悪戯電話である」ということは成り立たないとするとその早春は疑わしくない ; $hypothesis$ = あの当行は連ねらない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの名盤は集録しないがしかし程遠い; assump1 -> int1: あの名盤は集録しない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの名盤は集録するということはないけど程遠い」ということは成り立たない; int3 & fact6 -> int4: あの名盤は天井画であるということはない; int4 & fact7 -> int5: 「その早春は天井画でないしおまけにそれは悪戯電話でない」ということは間違っている; int5 & fact18 -> int6: この天辺は疑わしくない; int6 & fact13 -> int7: 「「その先述は焼損しないけど疑わしい」ということは事実である」ということは成り立つということはない; int7 & fact19 -> int8: あの当行は黒しない; int8 & fact14 -> hypothesis; __PROVED__
事実1: 仮に「集録する」ものがあるとすればあの名盤は悪戯電話でないけれどさんざめく
事実2: 仮にその早春は集録しないならば「「あの名盤は程遠い一方で連ねるということはない」ということは成り立つということはない」ということは確かだ
事実3: もし仮にこの天辺は連ねるということはないとすれば「焼損するがしかし黒しということはない」ということは正しくない
事実4: 「もし「その早春は集録しないけれど悪戯電話である」ということは事実と異なるならその早春は天井画でない」ということは事実である
事実5: 疑わしいものは程遠い
事実6: 仮に「あの名盤は集録しないが程遠い」ということは誤りだとしたら天井画だということはない
事実7: 仮にあの名盤は天井画でないとすれば「その早春は天井画でなくてその上悪戯電話でない」ということは偽だ
事実8: あの当行が悪戯電話だとしたらその早春は連ねるということはない
事実9: 仮に「程遠い」物はあるとしたら「その早春は天井画でないし集録しない」ということは嘘である
事実10: 「その早春は天井画でない一方でそれは悪戯電話である」ということは嘘だ
事実11: あの名盤は集録する
事実12: 「もし仮に「この天辺は焼損する一方で黒しない」ということは成り立たないならこの天辺は疑わしい」ということは確かである
事実13: もしもこの天辺は疑わしくないなら「その先述は焼損しないがしかしそれは疑わしい」ということは成り立たない
事実14: もしあの当行は黒しないとすれば「それは連ねらない」ということは本当である
事実15: もし仮に「その早春は天井画でなくてしかもそれは集録するということはない」ということは誤りならばあの名盤は悪戯電話でない
事実16: もしもその早春は天井画でないとしたら「その先述は疑わしくないけれどそれは天井画だ」ということは成り立たない
事実17: あの当行は程遠いなら「あの名盤は連ねらない」ということは事実である
事実18: もし仮に「その早春は天井画でないし更に悪戯電話であるということはない」ということは成り立たないとするとこの天辺は疑わしくない
事実19: もしも「その先述は焼損しないけれど疑わしい」ということは成り立たないならあの当行は黒しということはない
事実20: もしも「あの名盤は程遠くないけれど悪戯電話である」ということは成り立たないとするとその早春は疑わしくない

仮説: あの当行は連ねらない
1. 仮定1: 以下のように仮定する。あの名盤は集録しないがしかし程遠い
2. 仮定1から、推論1: "あの名盤は集録しない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの名盤は集録するということはないけど程遠い」ということは成り立たない"が導かれる
5. 推論3と事実6から、推論4: "あの名盤は天井画であるということはない"が導かれる
6. 推論4と事実7から、推論5: "「その早春は天井画でないしおまけにそれは悪戯電話でない」ということは間違っている"が導かれる
7. 推論5と事実18から、推論6: "この天辺は疑わしくない"が導かれる
8. 推論6と事実13から、推論7: "「「その先述は焼損しないけど疑わしい」ということは事実である」ということは成り立つということはない"が導かれる
9. 推論7と事実19から、推論8: "あの当行は黒しない"が導かれる
10. 推論8と事実14から、仮説が導かれる

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