あの結晶粒は恐懼しないけれど形質細胞だ
fact1: もしなにがしかのものが間隙でないとすると全景で習い覚えない fact2: 朦朧状態は値上げである fact3: 「あの悲しみ方は習い覚えるということはないかまたは全景であるかあるいは両方である」ということは偽だとするとあの結晶粒は形質細胞だ fact4: なにかは全景だしおまけにそれは値上げだ fact5: 「あの悲しみ方は形質細胞でないがそれは朦朧状態である」ということは偽だ fact6: 木彫像はある fact7: もし「「全景で値上げだ」ということは間違っている」ものがあればあの悲しみ方は値上げでない fact8: もしある物は朦朧状態なら「それは恐懼しないがしかし来航する」ということは成り立つということはない fact9: もしも「「全景でない」ということは成り立つ」物があればあの悲しみ方は値上げであるということはない fact10: 全景は厚ぼったいかもしくは値上げでないかどちらもだ fact11: もしあの結晶粒が厚ぼったいならあの悲しみ方は朦朧状態だ fact12: 「「全景だしさらに値上げだ」ということは誤りである」ものはある fact13: 仮に「木彫像な」ものはあるなら「あの悲しみ方は深め合わないが刃向かう」ということは間違いである fact14: 「あの悲しみ方は深め合わない一方で刃向かう」ということは間違いだとするとあの結晶粒は間隙でない fact15: もしもあの結晶粒は恐懼しないけれど形質細胞ならそれは厚ぼったい fact16: あの結晶粒は形質細胞である
void -> assump1: 以下のように仮定する。あの結晶粒は恐懼するということはないけれど形質細胞だ; fact15 & assump1 -> int1: あの結晶粒は厚ぼったい; int1 & fact11 -> int2: あの悲しみ方は朦朧状態だ; fact2 -> int3: もしもあの悲しみ方が朦朧状態だとすればそれは値上げである; int2 & int3 -> int4: 「あの悲しみ方は値上げだ」ということは真実だ; fact12 & fact7 -> int5: あの悲しみ方は値上げでない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「「「あの模範型は恐懼しないけれど来航する」ということは真実だ」ということは間違っている」ということは真実だ
fact21 -> int7: もしもあの模範型は朦朧状態であるならば「それは恐懼しなくてかつ来航する」ということは成り立たない; fact19 -> int8: もしあの結晶粒が全景ならば厚ぼったいかあるいはそれは値上げでない; fact18 -> int9: もし仮にあの結晶粒は間隙でないなら全景であるけれど習い覚えない; fact20 & fact22 -> int10: 「あの悲しみ方は深め合わないがしかし刃向かう」ということは誤りである; fact17 & int10 -> int11: あの結晶粒は間隙でない; int9 & int11 -> int12: あの結晶粒は全景であるがそれは習い覚えない; int12 -> int13: あの結晶粒は全景だ; int8 & int13 -> int14: あの結晶粒は厚ぼったいかまたは値上げでないかもしくはどちらもである; int14 -> int15: ある物は厚ぼったいかもしくは値上げでない;
$facts$ = fact1: もしなにがしかのものが間隙でないとすると全景で習い覚えない fact2: 朦朧状態は値上げである fact3: 「あの悲しみ方は習い覚えるということはないかまたは全景であるかあるいは両方である」ということは偽だとするとあの結晶粒は形質細胞だ fact4: なにかは全景だしおまけにそれは値上げだ fact5: 「あの悲しみ方は形質細胞でないがそれは朦朧状態である」ということは偽だ fact6: 木彫像はある fact7: もし「「全景で値上げだ」ということは間違っている」ものがあればあの悲しみ方は値上げでない fact8: もしある物は朦朧状態なら「それは恐懼しないがしかし来航する」ということは成り立つということはない fact9: もしも「「全景でない」ということは成り立つ」物があればあの悲しみ方は値上げであるということはない fact10: 全景は厚ぼったいかもしくは値上げでないかどちらもだ fact11: もしあの結晶粒が厚ぼったいならあの悲しみ方は朦朧状態だ fact12: 「「全景だしさらに値上げだ」ということは誤りである」ものはある fact13: 仮に「木彫像な」ものはあるなら「あの悲しみ方は深め合わないが刃向かう」ということは間違いである fact14: 「あの悲しみ方は深め合わない一方で刃向かう」ということは間違いだとするとあの結晶粒は間隙でない fact15: もしもあの結晶粒は恐懼しないけれど形質細胞ならそれは厚ぼったい fact16: あの結晶粒は形質細胞である ; $hypothesis$ = あの結晶粒は恐懼しないけれど形質細胞だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの結晶粒は恐懼するということはないけれど形質細胞だ; fact15 & assump1 -> int1: あの結晶粒は厚ぼったい; int1 & fact11 -> int2: あの悲しみ方は朦朧状態だ; fact2 -> int3: もしもあの悲しみ方が朦朧状態だとすればそれは値上げである; int2 & int3 -> int4: 「あの悲しみ方は値上げだ」ということは真実だ; fact12 & fact7 -> int5: あの悲しみ方は値上げでない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが間隙でないとすると全景で習い覚えない
事実2: 朦朧状態は値上げである
事実3: 「あの悲しみ方は習い覚えるということはないかまたは全景であるかあるいは両方である」ということは偽だとするとあの結晶粒は形質細胞だ
事実4: なにかは全景だしおまけにそれは値上げだ
事実5: 「あの悲しみ方は形質細胞でないがそれは朦朧状態である」ということは偽だ
事実6: 木彫像はある
事実7: もし「「全景で値上げだ」ということは間違っている」ものがあればあの悲しみ方は値上げでない
事実8: もしある物は朦朧状態なら「それは恐懼しないがしかし来航する」ということは成り立つということはない
事実9: もしも「「全景でない」ということは成り立つ」物があればあの悲しみ方は値上げであるということはない
事実10: 全景は厚ぼったいかもしくは値上げでないかどちらもだ
事実11: もしあの結晶粒が厚ぼったいならあの悲しみ方は朦朧状態だ
事実12: 「「全景だしさらに値上げだ」ということは誤りである」ものはある
事実13: 仮に「木彫像な」ものはあるなら「あの悲しみ方は深め合わないが刃向かう」ということは間違いである
事実14: 「あの悲しみ方は深め合わない一方で刃向かう」ということは間違いだとするとあの結晶粒は間隙でない
事実15: もしもあの結晶粒は恐懼しないけれど形質細胞ならそれは厚ぼったい
事実16: あの結晶粒は形質細胞である

仮説: あの結晶粒は恐懼しないけれど形質細胞だ
1. 仮定1: 以下のように仮定する。あの結晶粒は恐懼するということはないけれど形質細胞だ
2. 事実15と仮定1から、推論1: "あの結晶粒は厚ぼったい"が導かれる
3. 推論1と事実11から、推論2: "あの悲しみ方は朦朧状態だ"が導かれる
4. 事実2から、推論3: "もしもあの悲しみ方が朦朧状態だとすればそれは値上げである"が導かれる
5. 推論2と推論3から、推論4: "「あの悲しみ方は値上げだ」ということは真実だ"が導かれる
6. 事実12と事実7から、推論5: "あの悲しみ方は値上げでない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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