この喉頭蓋は固まらない
fact1: 「仮にこのディスク＆ドッグが一振りするしまた冷え易いならこの喉頭蓋は固まらない」ということは本当だ fact2: このディスク＆ドッグは固まる fact3: このディスク＆ドッグは屹立する fact4: もし仮にこのディスク＆ドッグは酷くないならば「自己否定でないけど間違い無い」ということは嘘だ fact5: 「もしこのディスク＆ドッグが屹立するならばあの要巣は身体感覚だ」ということは成り立つ fact6: 仮にこの要巣が貸し下ぐとしたらそれは創意・工夫である fact7: その一夜は一振りしないとすれば「このディスク＆ドッグは一振りする」ということは事実である fact8: その一夜は自己否定でない fact9: 「その一夜は一振りするということはない」ということは確かである fact10: 「このディスク＆ドッグは固まらない」ということは成り立つならこの喉頭蓋は固まる fact11: もしもこの要巣は自己否定でないとしたら「幅広さであるが間違い無くない」ということは成り立たない fact12: 「あるものは自己否定だがしかし貸し下ぐということはない」ということは偽であるとすると冷え易い fact13: 「その一夜は一振りするし加えて貸し下ぐ」ということは本当でない fact14: 仮に「このディスク＆ドッグは酷いけれど冷え易いということはない」ということは誤っているとすると自己否定である fact15: 「この要巣は自己否定であるならば「このディスク＆ドッグは自己否定であるが貸し下ぐない」ということは誤っている」ということは確かである fact16: もし仮に冷え易いということはない物が貸し下ぐないならそれは自己否定だ fact17: 酷いということはないものは一振りするしそれに固まる fact18: もしもこの要巣は自己否定でないとすれば「「それは幅広さでなくて間違い無くない」ということは確かだ」ということは誤りだ fact19: この喉頭蓋は相応しくて加えてそれは付着し易い fact20: この要巣は酷いということはない fact21: 仮にこの要巣が酷くないとしたら幅広さでないし間違い無くない fact22: とあるものが身体感覚でしかもそれが共生するならこの建造物損壊罪は酷くない fact23: もし仮に「あるものは一振りするけど酷くない」ということは事実と異なるとすれば「それは冷え易い」ということは確かだ fact24: この要巣は幅広さでない fact25: この要巣は共生する fact26: もしその一夜が固まらないならこの喉頭蓋は固まる
void -> assump1: 以下のように仮定する。この要巣は自己否定でない; fact18 & assump1 -> int1: 「この要巣は幅広さだということはなくて加えて間違い無くない」ということは成り立たない; fact20 & fact21 -> int2: 「この要巣は幅広さでないしかつ間違い無くない」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この要巣は自己否定である; int4 & fact15 -> int5: 「このディスク＆ドッグは自己否定であるがしかし貸し下ぐない」ということは事実と異なる; fact12 -> int6: もし「このディスク＆ドッグは自己否定だ一方で貸し下ぐない」ということは間違いだとすれば冷え易い; int5 & int6 -> int7: このディスク＆ドッグは冷え易い; fact9 & fact7 -> int8: 「このディスク＆ドッグは一振りする」ということは真実だ; int7 & int8 -> int9: 「このディスク＆ドッグは一振りするしおまけに冷え易い」ということは成り立つ; int9 & fact1 -> hypothesis;
この建造物損壊罪は自己否定である
fact32 -> int10: もしこの建造物損壊罪が冷え易いということはなくてしかも貸し下ぐないとすると自己否定である; fact28 -> int11: 仮にこの建造物損壊罪が酷くないとするとそれは一振りするしおまけに固まる; fact29 & fact27 -> int12: この要巣は身体感覚である; int12 & fact30 -> int13: この要巣が身体感覚だしさらにそれは共生する; int13 -> int14: 「身体感覚だししかも共生する」物はある; int14 & fact31 -> int15: この建造物損壊罪は酷くない; int11 & int15 -> int16: この建造物損壊罪は一振りするし固まる; int16 -> int17: この建造物損壊罪は一振りする;
$facts$ = fact1: 「仮にこのディスク＆ドッグが一振りするしまた冷え易いならこの喉頭蓋は固まらない」ということは本当だ fact2: このディスク＆ドッグは固まる fact3: このディスク＆ドッグは屹立する fact4: もし仮にこのディスク＆ドッグは酷くないならば「自己否定でないけど間違い無い」ということは嘘だ fact5: 「もしこのディスク＆ドッグが屹立するならばあの要巣は身体感覚だ」ということは成り立つ fact6: 仮にこの要巣が貸し下ぐとしたらそれは創意・工夫である fact7: その一夜は一振りしないとすれば「このディスク＆ドッグは一振りする」ということは事実である fact8: その一夜は自己否定でない fact9: 「その一夜は一振りするということはない」ということは確かである fact10: 「このディスク＆ドッグは固まらない」ということは成り立つならこの喉頭蓋は固まる fact11: もしもこの要巣は自己否定でないとしたら「幅広さであるが間違い無くない」ということは成り立たない fact12: 「あるものは自己否定だがしかし貸し下ぐということはない」ということは偽であるとすると冷え易い fact13: 「その一夜は一振りするし加えて貸し下ぐ」ということは本当でない fact14: 仮に「このディスク＆ドッグは酷いけれど冷え易いということはない」ということは誤っているとすると自己否定である fact15: 「この要巣は自己否定であるならば「このディスク＆ドッグは自己否定であるが貸し下ぐない」ということは誤っている」ということは確かである fact16: もし仮に冷え易いということはない物が貸し下ぐないならそれは自己否定だ fact17: 酷いということはないものは一振りするしそれに固まる fact18: もしもこの要巣は自己否定でないとすれば「「それは幅広さでなくて間違い無くない」ということは確かだ」ということは誤りだ fact19: この喉頭蓋は相応しくて加えてそれは付着し易い fact20: この要巣は酷いということはない fact21: 仮にこの要巣が酷くないとしたら幅広さでないし間違い無くない fact22: とあるものが身体感覚でしかもそれが共生するならこの建造物損壊罪は酷くない fact23: もし仮に「あるものは一振りするけど酷くない」ということは事実と異なるとすれば「それは冷え易い」ということは確かだ fact24: この要巣は幅広さでない fact25: この要巣は共生する fact26: もしその一夜が固まらないならこの喉頭蓋は固まる ; $hypothesis$ = この喉頭蓋は固まらない ; $proof$ = 
void -> assump1: 以下のように仮定する。この要巣は自己否定でない; fact18 & assump1 -> int1: 「この要巣は幅広さだということはなくて加えて間違い無くない」ということは成り立たない; fact20 & fact21 -> int2: 「この要巣は幅広さでないしかつ間違い無くない」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この要巣は自己否定である; int4 & fact15 -> int5: 「このディスク＆ドッグは自己否定であるがしかし貸し下ぐない」ということは事実と異なる; fact12 -> int6: もし「このディスク＆ドッグは自己否定だ一方で貸し下ぐない」ということは間違いだとすれば冷え易い; int5 & int6 -> int7: このディスク＆ドッグは冷え易い; fact9 & fact7 -> int8: 「このディスク＆ドッグは一振りする」ということは真実だ; int7 & int8 -> int9: 「このディスク＆ドッグは一振りするしおまけに冷え易い」ということは成り立つ; int9 & fact1 -> hypothesis; __PROVED__
事実1: 「仮にこのディスク＆ドッグが一振りするしまた冷え易いならこの喉頭蓋は固まらない」ということは本当だ
事実2: このディスク＆ドッグは固まる
事実3: このディスク＆ドッグは屹立する
事実4: もし仮にこのディスク＆ドッグは酷くないならば「自己否定でないけど間違い無い」ということは嘘だ
事実5: 「もしこのディスク＆ドッグが屹立するならばあの要巣は身体感覚だ」ということは成り立つ
事実6: 仮にこの要巣が貸し下ぐとしたらそれは創意・工夫である
事実7: その一夜は一振りしないとすれば「このディスク＆ドッグは一振りする」ということは事実である
事実8: その一夜は自己否定でない
事実9: 「その一夜は一振りするということはない」ということは確かである
事実10: 「このディスク＆ドッグは固まらない」ということは成り立つならこの喉頭蓋は固まる
事実11: もしもこの要巣は自己否定でないとしたら「幅広さであるが間違い無くない」ということは成り立たない
事実12: 「あるものは自己否定だがしかし貸し下ぐということはない」ということは偽であるとすると冷え易い
事実13: 「その一夜は一振りするし加えて貸し下ぐ」ということは本当でない
事実14: 仮に「このディスク＆ドッグは酷いけれど冷え易いということはない」ということは誤っているとすると自己否定である
事実15: 「この要巣は自己否定であるならば「このディスク＆ドッグは自己否定であるが貸し下ぐない」ということは誤っている」ということは確かである
事実16: もし仮に冷え易いということはない物が貸し下ぐないならそれは自己否定だ
事実17: 酷いということはないものは一振りするしそれに固まる
事実18: もしもこの要巣は自己否定でないとすれば「「それは幅広さでなくて間違い無くない」ということは確かだ」ということは誤りだ
事実19: この喉頭蓋は相応しくて加えてそれは付着し易い
事実20: この要巣は酷いということはない
事実21: 仮にこの要巣が酷くないとしたら幅広さでないし間違い無くない
事実22: とあるものが身体感覚でしかもそれが共生するならこの建造物損壊罪は酷くない
事実23: もし仮に「あるものは一振りするけど酷くない」ということは事実と異なるとすれば「それは冷え易い」ということは確かだ
事実24: この要巣は幅広さでない
事実25: この要巣は共生する
事実26: もしその一夜が固まらないならこの喉頭蓋は固まる

仮説: この喉頭蓋は固まらない
1. 仮定1: 以下のように仮定する。この要巣は自己否定でない
2. 事実18と仮定1から、推論1: "「この要巣は幅広さだということはなくて加えて間違い無くない」ということは成り立たない"が導かれる
3. 事実20と事実21から、推論2: "「この要巣は幅広さでないしかつ間違い無くない」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この要巣は自己否定である"が導かれる
6. 推論4と事実15から、推論5: "「このディスク＆ドッグは自己否定であるがしかし貸し下ぐない」ということは事実と異なる"が導かれる
7. 事実12から、推論6: "もし「このディスク＆ドッグは自己否定だ一方で貸し下ぐない」ということは間違いだとすれば冷え易い"が導かれる
8. 推論5と推論6から、推論7: "このディスク＆ドッグは冷え易い"が導かれる
9. 事実9と事実7から、推論8: "「このディスク＆ドッグは一振りする」ということは真実だ"が導かれる
10. 推論7と推論8から、推論9: "「このディスク＆ドッグは一振りするしおまけに冷え易い」ということは成り立つ"が導かれる
11. 推論9と事実1から、仮説が導かれる

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