「その正常眼圧緑内障は仕舞い易いし更に終結する」ということは成り立たない
fact1: そのえんぺらは版面だ fact2: あるものは逃れ難いとすると「それは規制当局だがしかし広しない」ということは偽である fact3: 「そのえんぺらは癌化でない」ということは誤っていない fact4: もし仮に何らかのものは青黒くないとしたら「グローバル・ビレッジだがしかし癌化でない」ということは事実と異なる fact5: 「広しものは苛々する」ということは成り立つ fact6: 何らかのものが青黒いとするとそれは仕舞い易い fact7: もしそのえんぺらが青黒いとすればそれは版面だ fact8: その正常眼圧緑内障は残り火だ fact9: その正常眼圧緑内障は癌化でない fact10: そのえんぺらは苛々しなくてしかも癌化だということはない fact11: もしそのえんぺらが恵み深いけれど逃れ難くないとするとこの実務補佐は逃れ難い fact12: 仮に「「「版面であるし唱え始めない」ということは確かである」ということは成り立たない」物があるとするとその正常眼圧緑内障は青黒い fact13: 「「版面だし加えて唱え始める」ということは嘘である」ものはある fact14: 仮にある物が版面でないとするとその正常眼圧緑内障は青黒い fact15: そのえんぺらは恵み深い一方でそれは逃れ難くない fact16: そのえんぺらは現われ易い fact17: その正常眼圧緑内障は終結するし更にそれは広し fact18: そのえんぺらは癌化でないし仕舞い易いということはない fact19: そのえんぺらが版面であるがしかしそれが唱え始めるということはないとすれば苛々する fact20: 何らかのものは版面だが唱え始めない
void -> assump1: 以下のように仮定する。そのえんぺらは版面だがしかしそれは唱え始めない; fact19 & assump1 -> int1: そのえんぺらは苛々する; fact10 -> int2: 「そのえんぺらは苛々しない」ということは確かである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「そのえんぺらは版面であるけれど唱え始めない」ということは確かである」ということは成り立つということはない; int4 -> int5: 「「版面だし更に唱え始めるということはない」ということは偽である」物はある; int5 & fact12 -> int6: その正常眼圧緑内障は青黒い; fact6 -> int7: 仮にその正常眼圧緑内障が青黒いとすればそれは仕舞い易い; int6 & int7 -> int8: その正常眼圧緑内障は仕舞い易い; fact17 -> int9: その正常眼圧緑内障は終結する; int8 & int9 -> hypothesis;
「この実務補佐はグローバル・ビレッジだけれど癌化でない」ということは成り立たない
fact23 -> int10: この実務補佐は青黒くないならば「グローバル・ビレッジだ一方で癌化でない」ということは偽だ; fact24 -> int11: もし仮にこの実務補佐は逃れ難いならば「それは規制当局だけど広しない」ということは成り立たない; fact22 & fact21 -> int12: この実務補佐は逃れ難い; int11 & int12 -> int13: 「この実務補佐は規制当局であるがしかしそれは広しない」ということは偽である;
$facts$ = fact1: そのえんぺらは版面だ fact2: あるものは逃れ難いとすると「それは規制当局だがしかし広しない」ということは偽である fact3: 「そのえんぺらは癌化でない」ということは誤っていない fact4: もし仮に何らかのものは青黒くないとしたら「グローバル・ビレッジだがしかし癌化でない」ということは事実と異なる fact5: 「広しものは苛々する」ということは成り立つ fact6: 何らかのものが青黒いとするとそれは仕舞い易い fact7: もしそのえんぺらが青黒いとすればそれは版面だ fact8: その正常眼圧緑内障は残り火だ fact9: その正常眼圧緑内障は癌化でない fact10: そのえんぺらは苛々しなくてしかも癌化だということはない fact11: もしそのえんぺらが恵み深いけれど逃れ難くないとするとこの実務補佐は逃れ難い fact12: 仮に「「「版面であるし唱え始めない」ということは確かである」ということは成り立たない」物があるとするとその正常眼圧緑内障は青黒い fact13: 「「版面だし加えて唱え始める」ということは嘘である」ものはある fact14: 仮にある物が版面でないとするとその正常眼圧緑内障は青黒い fact15: そのえんぺらは恵み深い一方でそれは逃れ難くない fact16: そのえんぺらは現われ易い fact17: その正常眼圧緑内障は終結するし更にそれは広し fact18: そのえんぺらは癌化でないし仕舞い易いということはない fact19: そのえんぺらが版面であるがしかしそれが唱え始めるということはないとすれば苛々する fact20: 何らかのものは版面だが唱え始めない ; $hypothesis$ = 「その正常眼圧緑内障は仕舞い易いし更に終結する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのえんぺらは版面だがしかしそれは唱え始めない; fact19 & assump1 -> int1: そのえんぺらは苛々する; fact10 -> int2: 「そのえんぺらは苛々しない」ということは確かである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「そのえんぺらは版面であるけれど唱え始めない」ということは確かである」ということは成り立つということはない; int4 -> int5: 「「版面だし更に唱え始めるということはない」ということは偽である」物はある; int5 & fact12 -> int6: その正常眼圧緑内障は青黒い; fact6 -> int7: 仮にその正常眼圧緑内障が青黒いとすればそれは仕舞い易い; int6 & int7 -> int8: その正常眼圧緑内障は仕舞い易い; fact17 -> int9: その正常眼圧緑内障は終結する; int8 & int9 -> hypothesis; __DISPROVED__
事実1: そのえんぺらは版面だ
事実2: あるものは逃れ難いとすると「それは規制当局だがしかし広しない」ということは偽である
事実3: 「そのえんぺらは癌化でない」ということは誤っていない
事実4: もし仮に何らかのものは青黒くないとしたら「グローバル・ビレッジだがしかし癌化でない」ということは事実と異なる
事実5: 「広しものは苛々する」ということは成り立つ
事実6: 何らかのものが青黒いとするとそれは仕舞い易い
事実7: もしそのえんぺらが青黒いとすればそれは版面だ
事実8: その正常眼圧緑内障は残り火だ
事実9: その正常眼圧緑内障は癌化でない
事実10: そのえんぺらは苛々しなくてしかも癌化だということはない
事実11: もしそのえんぺらが恵み深いけれど逃れ難くないとするとこの実務補佐は逃れ難い
事実12: 仮に「「「版面であるし唱え始めない」ということは確かである」ということは成り立たない」物があるとするとその正常眼圧緑内障は青黒い
事実13: 「「版面だし加えて唱え始める」ということは嘘である」ものはある
事実14: 仮にある物が版面でないとするとその正常眼圧緑内障は青黒い
事実15: そのえんぺらは恵み深い一方でそれは逃れ難くない
事実16: そのえんぺらは現われ易い
事実17: その正常眼圧緑内障は終結するし更にそれは広し
事実18: そのえんぺらは癌化でないし仕舞い易いということはない
事実19: そのえんぺらが版面であるがしかしそれが唱え始めるということはないとすれば苛々する
事実20: 何らかのものは版面だが唱え始めない

仮説: 「その正常眼圧緑内障は仕舞い易いし更に終結する」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのえんぺらは版面だがしかしそれは唱え始めない
2. 事実19と仮定1から、推論1: "そのえんぺらは苛々する"が導かれる
3. 事実10から、推論2: "「そのえんぺらは苛々しない」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「そのえんぺらは版面であるけれど唱え始めない」ということは確かである」ということは成り立つということはない"が導かれる
6. 推論4から、推論5: "「「版面だし更に唱え始めるということはない」ということは偽である」物はある"が導かれる
7. 推論5と事実12から、推論6: "その正常眼圧緑内障は青黒い"が導かれる
8. 事実6から、推論7: "仮にその正常眼圧緑内障が青黒いとすればそれは仕舞い易い"が導かれる
9. 推論6と推論7から、推論8: "その正常眼圧緑内障は仕舞い易い"が導かれる
10. 事実17から、推論9: "その正常眼圧緑内障は終結する"が導かれる
11. 推論8と推論9から、仮説が否定される

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