その松果体は青臭い
fact1: 「なんらかのものは予測し易いがしかし惨たらしくない」ということは嘘であるならば絶対的存在でない fact2: もし仮に何らかのものは絶対的存在でないとすると「それはポインタだしそれに秘密めかす」ということは成り立たない fact3: もしもなにがしかの物が秘密めかすとしたら青臭くない fact4: あのユア・ベイビーが自由党内でないけど提案出来ればそのアートディレクターは実用化する fact5: もしなにがしかの物が晴々しいとしたらそれは発生場所であるということはない fact6: もしそのいんちきが予測し易いとすればあの民間資本は絶対的存在だということはないけれど惨たらしい fact7: 「「晒され易くないしおまけに密輸入であるということはない」ということは誤っている」物はある fact8: 仮にあのユア・ベイビーが逃走するとしたら自由党内でなくて更に提案出来る fact9: この旧市街は逃走する fact10: もし何らかの物は実用化するとしたら「それは逃走する」ということは本当だ fact11: そのいんちきは予測し易い fact12: もしもそのいんちきが予測し易いならあの民間資本は絶対的存在でない fact13: あの民間資本が絶対的存在でないがそれが惨たらしいならそのアートディレクターはポインタだ fact14: もしも「「晒され易くないしまた密輸入でない」ということは誤りな」ものがあるならあのユア・ベイビーは化合しない fact15: 「ポインタな」ものはある fact16: 仮に何かは化合しないとすると「予測し易いが惨たらしくない」ということは誤っている fact17: 仮にとある物が実用化するし更にポインタであるとすればその松果体は秘密めかす fact18: 何らかのものが逃走するとすると青臭い fact19: あのユア・ベイビーは逃走する fact20: もし仮になにがしかの物が実用化しないならばそれは予測し易いけど逃走するということはない
fact8 & fact19 -> int1: あのユア・ベイビーは自由党内でない一方で提案出来る; int1 & fact4 -> int2: そのアートディレクターは実用化する; fact11 & fact6 -> int3: あの民間資本は絶対的存在でない一方でそれは惨たらしい; int3 & fact13 -> int4: そのアートディレクターはポインタだ; int2 & int4 -> int5: 「そのアートディレクターは実用化するししかもポインタである」ということは正しい; int5 -> int6: なんらかのものは実用化するしその上ポインタだ; int6 & fact17 -> int7: その松果体は秘密めかす; fact3 -> int8: もし仮にその松果体が秘密めかすとすればそれは青臭くない; int7 & int8 -> hypothesis;
「あのプリンスホテルは予測し易い」ということは成り立つ
fact21 -> int9: もしもあのプリンスホテルが実用化しないならば予測し易いし逃走しない;
$facts$ = fact1: 「なんらかのものは予測し易いがしかし惨たらしくない」ということは嘘であるならば絶対的存在でない fact2: もし仮に何らかのものは絶対的存在でないとすると「それはポインタだしそれに秘密めかす」ということは成り立たない fact3: もしもなにがしかの物が秘密めかすとしたら青臭くない fact4: あのユア・ベイビーが自由党内でないけど提案出来ればそのアートディレクターは実用化する fact5: もしなにがしかの物が晴々しいとしたらそれは発生場所であるということはない fact6: もしそのいんちきが予測し易いとすればあの民間資本は絶対的存在だということはないけれど惨たらしい fact7: 「「晒され易くないしおまけに密輸入であるということはない」ということは誤っている」物はある fact8: 仮にあのユア・ベイビーが逃走するとしたら自由党内でなくて更に提案出来る fact9: この旧市街は逃走する fact10: もし何らかの物は実用化するとしたら「それは逃走する」ということは本当だ fact11: そのいんちきは予測し易い fact12: もしもそのいんちきが予測し易いならあの民間資本は絶対的存在でない fact13: あの民間資本が絶対的存在でないがそれが惨たらしいならそのアートディレクターはポインタだ fact14: もしも「「晒され易くないしまた密輸入でない」ということは誤りな」ものがあるならあのユア・ベイビーは化合しない fact15: 「ポインタな」ものはある fact16: 仮に何かは化合しないとすると「予測し易いが惨たらしくない」ということは誤っている fact17: 仮にとある物が実用化するし更にポインタであるとすればその松果体は秘密めかす fact18: 何らかのものが逃走するとすると青臭い fact19: あのユア・ベイビーは逃走する fact20: もし仮になにがしかの物が実用化しないならばそれは予測し易いけど逃走するということはない ; $hypothesis$ = その松果体は青臭い ; $proof$ = 
fact8 & fact19 -> int1: あのユア・ベイビーは自由党内でない一方で提案出来る; int1 & fact4 -> int2: そのアートディレクターは実用化する; fact11 & fact6 -> int3: あの民間資本は絶対的存在でない一方でそれは惨たらしい; int3 & fact13 -> int4: そのアートディレクターはポインタだ; int2 & int4 -> int5: 「そのアートディレクターは実用化するししかもポインタである」ということは正しい; int5 -> int6: なんらかのものは実用化するしその上ポインタだ; int6 & fact17 -> int7: その松果体は秘密めかす; fact3 -> int8: もし仮にその松果体が秘密めかすとすればそれは青臭くない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「なんらかのものは予測し易いがしかし惨たらしくない」ということは嘘であるならば絶対的存在でない
事実2: もし仮に何らかのものは絶対的存在でないとすると「それはポインタだしそれに秘密めかす」ということは成り立たない
事実3: もしもなにがしかの物が秘密めかすとしたら青臭くない
事実4: あのユア・ベイビーが自由党内でないけど提案出来ればそのアートディレクターは実用化する
事実5: もしなにがしかの物が晴々しいとしたらそれは発生場所であるということはない
事実6: もしそのいんちきが予測し易いとすればあの民間資本は絶対的存在だということはないけれど惨たらしい
事実7: 「「晒され易くないしおまけに密輸入であるということはない」ということは誤っている」物はある
事実8: 仮にあのユア・ベイビーが逃走するとしたら自由党内でなくて更に提案出来る
事実9: この旧市街は逃走する
事実10: もし何らかの物は実用化するとしたら「それは逃走する」ということは本当だ
事実11: そのいんちきは予測し易い
事実12: もしもそのいんちきが予測し易いならあの民間資本は絶対的存在でない
事実13: あの民間資本が絶対的存在でないがそれが惨たらしいならそのアートディレクターはポインタだ
事実14: もしも「「晒され易くないしまた密輸入でない」ということは誤りな」ものがあるならあのユア・ベイビーは化合しない
事実15: 「ポインタな」ものはある
事実16: 仮に何かは化合しないとすると「予測し易いが惨たらしくない」ということは誤っている
事実17: 仮にとある物が実用化するし更にポインタであるとすればその松果体は秘密めかす
事実18: 何らかのものが逃走するとすると青臭い
事実19: あのユア・ベイビーは逃走する
事実20: もし仮になにがしかの物が実用化しないならばそれは予測し易いけど逃走するということはない

仮説: その松果体は青臭い
1. 事実8と事実19から、推論1: "あのユア・ベイビーは自由党内でない一方で提案出来る"が導かれる
2. 推論1と事実4から、推論2: "そのアートディレクターは実用化する"が導かれる
3. 事実11と事実6から、推論3: "あの民間資本は絶対的存在でない一方でそれは惨たらしい"が導かれる
4. 推論3と事実13から、推論4: "そのアートディレクターはポインタだ"が導かれる
5. 推論2と推論4から、推論5: "「そのアートディレクターは実用化するししかもポインタである」ということは正しい"が導かれる
6. 推論5から、推論6: "なんらかのものは実用化するしその上ポインタだ"が導かれる
7. 推論6と事実17から、推論7: "その松果体は秘密めかす"が導かれる
8. 事実3から、推論8: "もし仮にその松果体が秘密めかすとすればそれは青臭くない"が導かれる
9. 推論7と推論8から、仮説が否定される

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