「あの夢判断はキャパシターでない」ということは本当である
fact1: 「あの夢判断は天然紙だけれど十九世紀中頃でない」ということは正しくない fact2: もし仮に「「あの夢判断は天然紙でないしその上十九世紀中頃でない」ということは誤りである」ということは正しいとすると苦しがる fact3: もし仮になにがしかのものは仲睦まじいとしたら「天然紙でないし十九世紀中頃でない」ということは成り立たない fact4: もし仮にあの夢判断は仲睦まじいならば「それは天然紙であるしそれにそれは十九世紀中頃でない」ということは事実と異なる fact5: もしなにがしかの物は仲睦まじいなら「それは天然紙でなくて十九世紀中頃である」ということは間違いである fact6: 「あの夢判断はオルグでないけど理趣経である」ということは成り立つということはない fact7: 「あの夢判断はオルグでないしまた理趣経でない」ということは成り立たない fact8: なにがしかの物は仲睦まじいなら「それは天然紙だが十九世紀中頃でない」ということは成り立たない fact9: もしも「ある物はオルグでないし理趣経だということはない」ということは嘘だとすると理趣経である fact10: もしもあの夢判断が仲睦まじくないが理趣経であるとすればそれはキャパシターだ fact11: このラウンジは苦しがらない fact12: あの夢判断は苦しがらない fact13: 「あのバケツは理趣経だ」ということは真実でないとすれば苦しがるかまたは仲睦まじいかまたは両方だ
fact3 -> int1: もしもあの夢判断は仲睦まじいとすれば「それは天然紙でないしさらにそれは十九世紀中頃でない」ということは誤っている; void -> assump1: 以下のように仮定する。「あの夢判断は仲睦まじい」ということは成り立つ; int1 & assump1 -> int2: 「あの夢判断は天然紙であるということはないし加えてそれは十九世紀中頃でない」ということは誤っている; int2 & fact2 -> int3: あの夢判断は苦しがる; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの夢判断は仲睦まじくない」ということは確かだ; fact9 -> int6: もし仮に「「あの夢判断はオルグでないしさらに理趣経であるということはない」ということは真実だ」ということは嘘であるならば理趣経である; fact7 & int6 -> int7: あの夢判断は理趣経である; int5 & int7 -> int8: あの夢判断は仲睦まじいということはないがしかし理趣経である; int8 & fact10 -> hypothesis;
あの夢判断はキャパシターでない
$facts$ = fact1: 「あの夢判断は天然紙だけれど十九世紀中頃でない」ということは正しくない fact2: もし仮に「「あの夢判断は天然紙でないしその上十九世紀中頃でない」ということは誤りである」ということは正しいとすると苦しがる fact3: もし仮になにがしかのものは仲睦まじいとしたら「天然紙でないし十九世紀中頃でない」ということは成り立たない fact4: もし仮にあの夢判断は仲睦まじいならば「それは天然紙であるしそれにそれは十九世紀中頃でない」ということは事実と異なる fact5: もしなにがしかの物は仲睦まじいなら「それは天然紙でなくて十九世紀中頃である」ということは間違いである fact6: 「あの夢判断はオルグでないけど理趣経である」ということは成り立つということはない fact7: 「あの夢判断はオルグでないしまた理趣経でない」ということは成り立たない fact8: なにがしかの物は仲睦まじいなら「それは天然紙だが十九世紀中頃でない」ということは成り立たない fact9: もしも「ある物はオルグでないし理趣経だということはない」ということは嘘だとすると理趣経である fact10: もしもあの夢判断が仲睦まじくないが理趣経であるとすればそれはキャパシターだ fact11: このラウンジは苦しがらない fact12: あの夢判断は苦しがらない fact13: 「あのバケツは理趣経だ」ということは真実でないとすれば苦しがるかまたは仲睦まじいかまたは両方だ ; $hypothesis$ = 「あの夢判断はキャパシターでない」ということは本当である ; $proof$ = 
fact3 -> int1: もしもあの夢判断は仲睦まじいとすれば「それは天然紙でないしさらにそれは十九世紀中頃でない」ということは誤っている; void -> assump1: 以下のように仮定する。「あの夢判断は仲睦まじい」ということは成り立つ; int1 & assump1 -> int2: 「あの夢判断は天然紙であるということはないし加えてそれは十九世紀中頃でない」ということは誤っている; int2 & fact2 -> int3: あの夢判断は苦しがる; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの夢判断は仲睦まじくない」ということは確かだ; fact9 -> int6: もし仮に「「あの夢判断はオルグでないしさらに理趣経であるということはない」ということは真実だ」ということは嘘であるならば理趣経である; fact7 & int6 -> int7: あの夢判断は理趣経である; int5 & int7 -> int8: あの夢判断は仲睦まじいということはないがしかし理趣経である; int8 & fact10 -> hypothesis; __DISPROVED__
事実1: 「あの夢判断は天然紙だけれど十九世紀中頃でない」ということは正しくない
事実2: もし仮に「「あの夢判断は天然紙でないしその上十九世紀中頃でない」ということは誤りである」ということは正しいとすると苦しがる
事実3: もし仮になにがしかのものは仲睦まじいとしたら「天然紙でないし十九世紀中頃でない」ということは成り立たない
事実4: もし仮にあの夢判断は仲睦まじいならば「それは天然紙であるしそれにそれは十九世紀中頃でない」ということは事実と異なる
事実5: もしなにがしかの物は仲睦まじいなら「それは天然紙でなくて十九世紀中頃である」ということは間違いである
事実6: 「あの夢判断はオルグでないけど理趣経である」ということは成り立つということはない
事実7: 「あの夢判断はオルグでないしまた理趣経でない」ということは成り立たない
事実8: なにがしかの物は仲睦まじいなら「それは天然紙だが十九世紀中頃でない」ということは成り立たない
事実9: もしも「ある物はオルグでないし理趣経だということはない」ということは嘘だとすると理趣経である
事実10: もしもあの夢判断が仲睦まじくないが理趣経であるとすればそれはキャパシターだ
事実11: このラウンジは苦しがらない
事実12: あの夢判断は苦しがらない
事実13: 「あのバケツは理趣経だ」ということは真実でないとすれば苦しがるかまたは仲睦まじいかまたは両方だ

仮説: 「あの夢判断はキャパシターでない」ということは本当である
1. 事実3から、推論1: "もしもあの夢判断は仲睦まじいとすれば「それは天然紙でないしさらにそれは十九世紀中頃でない」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。「あの夢判断は仲睦まじい」ということは成り立つ
3. 推論1と仮定1から、推論2: "「あの夢判断は天然紙であるということはないし加えてそれは十九世紀中頃でない」ということは誤っている"が導かれる
4. 推論2と事実2から、推論3: "あの夢判断は苦しがる"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの夢判断は仲睦まじくない」ということは確かだ"が導かれる
7. 事実9から、推論6: "もし仮に「「あの夢判断はオルグでないしさらに理趣経であるということはない」ということは真実だ」ということは嘘であるならば理趣経である"が導かれる
8. 事実7と推論6から、推論7: "あの夢判断は理趣経である"が導かれる
9. 推論5と推論7から、推論8: "あの夢判断は仲睦まじいということはないがしかし理趣経である"が導かれる
10. 推論8と事実10から、仮説が否定される

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