この承認図品は理解出来る
fact1: もし仮に「とある物は浅いけど理解出来るということはない」ということは成り立たないとすると理解出来る fact2: 仮に何らかの物はふてぶてしいなら「浅くてまた理解出来ない」ということは成り立たない fact3: 「あのインターネット技術は理解出来る」ということは正しい fact4: あの松陰等は筋肉内脂肪でない fact5: もしあのインターネット技術が形成し始めるけどそれが鼓動しないとするとこの承認図品は筋肉内脂肪である fact6: あのインターネット技術は形成し始めるけど鼓動しない fact7: 仮にこの承認図品は浅くないかあるいは理解出来るかまたはどちらもだとすると「それは理解出来る」ということは真実である fact8: 仮にこの承認図品が撮り直すならあの松陰等は恩情だ fact9: あの松陰等がふてぶてしくて撮り直すならばあの承認図品は半導体デバイスである fact10: あの熱狂は浅いかそれはふてぶてしいかまたはどちらもだ fact11: 「この承認図品は半導体デバイスであるということはないがしかしそれは恩情だ」ということは成り立たない fact12: あの熱狂がふてぶてしいならあの松陰等はミックスである fact13: 「あのインターネット技術は筋肉内脂肪でないが鼓動する」ということは事実と異なる fact14: もしもあの松陰等が撮り直せばこの承認図品は恩情である fact15: 仮にこの承認図品が筋肉内脂肪でおまけにそれは半導体デバイスであるならばそれは理解出来ない fact16: もしこの承認図品が浅いなら筋肉内脂肪だ fact17: もしもあの熱狂が浅いとするとあの松陰等はミックスだ fact18: もしもあの松陰等が半導体デバイスであるし恩情だとすればこの承認図品はミックスだ fact19: もしもあの熱狂がふてぶてしいとしたらこの承認図品はふてぶてしい fact20: あの松陰等は筋肉内脂肪であるならそれは半導体デバイスでなくてそれに恩情でない fact21: もしも「「あの松陰等はミックスでない」ということは確かだ」ということは成り立たないとしたらそれは撮り直す fact22: あの熱狂は撮り直すかあるいはそれは浅いか両方である fact23: あの松陰等がふてぶてしいならミックスだ fact24: あのインターネット技術が形成し始めるししかもそれが鼓動するならこの承認図品は筋肉内脂肪である
fact10 & fact17 & fact12 -> int1: 「あの松陰等はミックスである」ということは成り立つ; int1 & fact21 -> int2: あの松陰等は撮り直す; int2 & fact14 -> int3: この承認図品は恩情だ; void -> assump1: 以下のように仮定する。この承認図品は半導体デバイスでない; int3 & assump1 -> int4: この承認図品は半導体デバイスでない一方でそれは恩情である; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: この承認図品は半導体デバイスである; fact6 & fact5 -> int7: この承認図品は筋肉内脂肪である; int6 & int7 -> int8: この承認図品は筋肉内脂肪であるししかも半導体デバイスだ; int8 & fact15 -> hypothesis;
この承認図品は理解出来る
fact27 -> int9: 「この承認図品は浅いがそれは理解出来るということはない」ということは嘘であるとしたらそれは理解出来る; fact28 -> int10: 仮にこの承認図品はふてぶてしいならば「「浅い一方で理解出来ない」ということは事実である」ということは事実と異なる;
$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: あのインターネット技術が形成し始めるししかもそれが鼓動するならこの承認図品は筋肉内脂肪である ; $hypothesis$ = この承認図品は理解出来る ; $proof$ = 
fact10 & fact17 & fact12 -> int1: 「あの松陰等はミックスである」ということは成り立つ; int1 & fact21 -> int2: あの松陰等は撮り直す; int2 & fact14 -> int3: この承認図品は恩情だ; void -> assump1: 以下のように仮定する。この承認図品は半導体デバイスでない; int3 & assump1 -> int4: この承認図品は半導体デバイスでない一方でそれは恩情である; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: この承認図品は半導体デバイスである; fact6 & fact5 -> int7: この承認図品は筋肉内脂肪である; int6 & int7 -> int8: この承認図品は筋肉内脂肪であるししかも半導体デバイスだ; int8 & fact15 -> hypothesis; __DISPROVED__
事実1: もし仮に「とある物は浅いけど理解出来るということはない」ということは成り立たないとすると理解出来る
事実2: 仮に何らかの物はふてぶてしいなら「浅くてまた理解出来ない」ということは成り立たない
事実3: 「あのインターネット技術は理解出来る」ということは正しい
事実4: あの松陰等は筋肉内脂肪でない
事実5: もしあのインターネット技術が形成し始めるけどそれが鼓動しないとするとこの承認図品は筋肉内脂肪である
事実6: あのインターネット技術は形成し始めるけど鼓動しない
事実7: 仮にこの承認図品は浅くないかあるいは理解出来るかまたはどちらもだとすると「それは理解出来る」ということは真実である
事実8: 仮にこの承認図品が撮り直すならあの松陰等は恩情だ
事実9: あの松陰等がふてぶてしくて撮り直すならばあの承認図品は半導体デバイスである
事実10: あの熱狂は浅いかそれはふてぶてしいかまたはどちらもだ
事実11: 「この承認図品は半導体デバイスであるということはないがしかしそれは恩情だ」ということは成り立たない
事実12: あの熱狂がふてぶてしいならあの松陰等はミックスである
事実13: 「あのインターネット技術は筋肉内脂肪でないが鼓動する」ということは事実と異なる
事実14: もしもあの松陰等が撮り直せばこの承認図品は恩情である
事実15: 仮にこの承認図品が筋肉内脂肪でおまけにそれは半導体デバイスであるならばそれは理解出来ない
事実16: もしこの承認図品が浅いなら筋肉内脂肪だ
事実17: もしもあの熱狂が浅いとするとあの松陰等はミックスだ
事実18: もしもあの松陰等が半導体デバイスであるし恩情だとすればこの承認図品はミックスだ
事実19: もしもあの熱狂がふてぶてしいとしたらこの承認図品はふてぶてしい
事実20: あの松陰等は筋肉内脂肪であるならそれは半導体デバイスでなくてそれに恩情でない
事実21: もしも「「あの松陰等はミックスでない」ということは確かだ」ということは成り立たないとしたらそれは撮り直す
事実22: あの熱狂は撮り直すかあるいはそれは浅いか両方である
事実23: あの松陰等がふてぶてしいならミックスだ
事実24: あのインターネット技術が形成し始めるししかもそれが鼓動するならこの承認図品は筋肉内脂肪である

仮説: この承認図品は理解出来る
1. 事実10と事実17と事実12から、推論1: "「あの松陰等はミックスである」ということは成り立つ"が導かれる
2. 推論1と事実21から、推論2: "あの松陰等は撮り直す"が導かれる
3. 推論2と事実14から、推論3: "この承認図品は恩情だ"が導かれる
4. 仮定1: 以下のように仮定する。この承認図品は半導体デバイスでない
5. 推論3と仮定1から、推論4: "この承認図品は半導体デバイスでない一方でそれは恩情である"が導かれる
6. 推論4と事実11から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この承認図品は半導体デバイスである"が導かれる
8. 事実6と事実5から、推論7: "この承認図品は筋肉内脂肪である"が導かれる
9. 推論6と推論7から、推論8: "この承認図品は筋肉内脂肪であるししかも半導体デバイスだ"が導かれる
10. 推論8と事実15から、仮説が否定される

よって、仮説が否定されました。