あの化学物質は超ロングだ
fact1: この黒蛇が仲介しないとすればあの化学物質は複式夢幻能であるし超ロングだ fact2: あの予算案は複式夢幻能だし加えて仲介する fact3: あの化学物質は超ロングだとすれば「「町営だけれど把握し難くない」ということは偽でない」ということは成り立たない fact4: もしも精神発達が貧しくないとするとそれは複式夢幻能でない fact5: 仮に「「精神発達だがしかし貧しくない」ということは間違いな」ものがあるとしたらあの化学物質は超ロングでない fact6: あの化学物質は貧しくない fact7: もし仮にこの黒蛇が仲介しないとしたらあの化学物質が超ロングだしまた複式夢幻能である
fact4 -> int1: 仮にあの予算案が精神発達であるけど貧しくないなら「複式夢幻能であるということはない」ということは真実だ; void -> assump1: 以下のように仮定する。あの予算案は精神発達であるが貧しくない; int1 & assump1 -> int2: 「あの予算案は複式夢幻能でない」ということは真実だ; fact2 -> int3: あの予算案は複式夢幻能である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの予算案は精神発達である一方でそれは貧しくない」ということは成り立たない; int5 -> int6: 「「精神発達であるしそれに貧しくない」ということは間違いな」ものはある; int6 & fact5 -> hypothesis;
あの化学物質は超ロングである
$facts$ = fact1: この黒蛇が仲介しないとすればあの化学物質は複式夢幻能であるし超ロングだ fact2: あの予算案は複式夢幻能だし加えて仲介する fact3: あの化学物質は超ロングだとすれば「「町営だけれど把握し難くない」ということは偽でない」ということは成り立たない fact4: もしも精神発達が貧しくないとするとそれは複式夢幻能でない fact5: 仮に「「精神発達だがしかし貧しくない」ということは間違いな」ものがあるとしたらあの化学物質は超ロングでない fact6: あの化学物質は貧しくない fact7: もし仮にこの黒蛇が仲介しないとしたらあの化学物質が超ロングだしまた複式夢幻能である ; $hypothesis$ = あの化学物質は超ロングだ ; $proof$ = 
fact4 -> int1: 仮にあの予算案が精神発達であるけど貧しくないなら「複式夢幻能であるということはない」ということは真実だ; void -> assump1: 以下のように仮定する。あの予算案は精神発達であるが貧しくない; int1 & assump1 -> int2: 「あの予算案は複式夢幻能でない」ということは真実だ; fact2 -> int3: あの予算案は複式夢幻能である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの予算案は精神発達である一方でそれは貧しくない」ということは成り立たない; int5 -> int6: 「「精神発達であるしそれに貧しくない」ということは間違いな」ものはある; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: この黒蛇が仲介しないとすればあの化学物質は複式夢幻能であるし超ロングだ
事実2: あの予算案は複式夢幻能だし加えて仲介する
事実3: あの化学物質は超ロングだとすれば「「町営だけれど把握し難くない」ということは偽でない」ということは成り立たない
事実4: もしも精神発達が貧しくないとするとそれは複式夢幻能でない
事実5: 仮に「「精神発達だがしかし貧しくない」ということは間違いな」ものがあるとしたらあの化学物質は超ロングでない
事実6: あの化学物質は貧しくない
事実7: もし仮にこの黒蛇が仲介しないとしたらあの化学物質が超ロングだしまた複式夢幻能である

仮説: あの化学物質は超ロングだ
1. 事実4から、推論1: "仮にあの予算案が精神発達であるけど貧しくないなら「複式夢幻能であるということはない」ということは真実だ"が導かれる
2. 仮定1: 以下のように仮定する。あの予算案は精神発達であるが貧しくない
3. 推論1と仮定1から、推論2: "「あの予算案は複式夢幻能でない」ということは真実だ"が導かれる
4. 事実2から、推論3: "あの予算案は複式夢幻能である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの予算案は精神発達である一方でそれは貧しくない」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「精神発達であるしそれに貧しくない」ということは間違いな」ものはある"が導かれる
8. 推論6と事実5から、仮説が否定される

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