「仮にあの惹起が覚ゆならあの惹起はＧＲＡＮＴ文でない」ということは成り立たない
fact1: あの宇沙国は尤もらしい fact2: もし仮にあの宇沙国が発揮し易くないとするとあの惹起は他愛無くない fact3: あの宇沙国は発揮し易い fact4: あの宇沙国は服従しない fact5: もし仮にあの惹起は押すとすれば「覚ゆない」ということは事実だ fact6: もし仮にあの惹起が他愛無いしその上それはＧＲＡＮＴ文であるならばそれは尤もらしい fact7: もし「あの惹起はＧＲＡＮＴ文である」ということは成り立つとするとそれは他愛無くない fact8: あの宇沙国は覚ゆない fact9: この防長統一はＧＲＡＮＴ文だ fact10: もしも発揮し易いものが覚ゆとしたらそれはＧＲＡＮＴ文でない fact11: もし仮にあの宇沙国が服従しないならばそれは他愛無くない fact12: あの惹起は両タイプでない fact13: このデイルームは服従しない fact14: 「あの惹起は想像し易い」ということは成り立つ fact15: 仮にあるものが吹き替えるしそれは次ページであるとすれば矯正しない fact16: 春らしいものが上積みするとすると根気強いということはない fact17: あの惹起は保存・反映しないがしかし蹲踞する fact18: この哀惜は立て易いしそれにＧＲＡＮＴ文である fact19: もしもあの惹起が尤もらしいし発揮し易いなら「それは他愛無くない」ということは確かだ fact20: あの惹起は服従しないがしかしそれは覚ゆ fact21: あの惹起は十等分しない fact22: もしある物が呼び求めるし更にそれが製品等だとすれば登拝しない fact23: もし仮にあの宇沙国が覚ゆないとするとあの惹起は尤もらしくない fact24: もし仮にあの惹起は他愛無いし服従すればそれは覚ゆない fact25: あの宇沙国が他愛無くないとするとあの惹起は尤もらしくないけれど発揮し易い
fact11 & fact4 -> int1: あの宇沙国は他愛無くない; int1 & fact25 -> int2: あの惹起は尤もらしくないが発揮し易い; int2 -> int3: あの惹起は発揮し易い; void -> assump1: 以下のように仮定する。あの惹起は覚ゆ; int3 & assump1 -> int4: あの惹起は発揮し易くて加えてそれは覚ゆ; fact10 -> int5: もしあの惹起は発揮し易いしまた覚ゆとしたらＧＲＡＮＴ文でない; int4 & int5 -> int6: あの惹起はＧＲＡＮＴ文でない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: あの宇沙国は尤もらしい fact2: もし仮にあの宇沙国が発揮し易くないとするとあの惹起は他愛無くない fact3: あの宇沙国は発揮し易い fact4: あの宇沙国は服従しない fact5: もし仮にあの惹起は押すとすれば「覚ゆない」ということは事実だ fact6: もし仮にあの惹起が他愛無いしその上それはＧＲＡＮＴ文であるならばそれは尤もらしい fact7: もし「あの惹起はＧＲＡＮＴ文である」ということは成り立つとするとそれは他愛無くない fact8: あの宇沙国は覚ゆない fact9: この防長統一はＧＲＡＮＴ文だ fact10: もしも発揮し易いものが覚ゆとしたらそれはＧＲＡＮＴ文でない fact11: もし仮にあの宇沙国が服従しないならばそれは他愛無くない fact12: あの惹起は両タイプでない fact13: このデイルームは服従しない fact14: 「あの惹起は想像し易い」ということは成り立つ fact15: 仮にあるものが吹き替えるしそれは次ページであるとすれば矯正しない fact16: 春らしいものが上積みするとすると根気強いということはない fact17: あの惹起は保存・反映しないがしかし蹲踞する fact18: この哀惜は立て易いしそれにＧＲＡＮＴ文である fact19: もしもあの惹起が尤もらしいし発揮し易いなら「それは他愛無くない」ということは確かだ fact20: あの惹起は服従しないがしかしそれは覚ゆ fact21: あの惹起は十等分しない fact22: もしある物が呼び求めるし更にそれが製品等だとすれば登拝しない fact23: もし仮にあの宇沙国が覚ゆないとするとあの惹起は尤もらしくない fact24: もし仮にあの惹起は他愛無いし服従すればそれは覚ゆない fact25: あの宇沙国が他愛無くないとするとあの惹起は尤もらしくないけれど発揮し易い ; $hypothesis$ = 「仮にあの惹起が覚ゆならあの惹起はＧＲＡＮＴ文でない」ということは成り立たない ; $proof$ = 
fact11 & fact4 -> int1: あの宇沙国は他愛無くない; int1 & fact25 -> int2: あの惹起は尤もらしくないが発揮し易い; int2 -> int3: あの惹起は発揮し易い; void -> assump1: 以下のように仮定する。あの惹起は覚ゆ; int3 & assump1 -> int4: あの惹起は発揮し易くて加えてそれは覚ゆ; fact10 -> int5: もしあの惹起は発揮し易いしまた覚ゆとしたらＧＲＡＮＴ文でない; int4 & int5 -> int6: あの惹起はＧＲＡＮＴ文でない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: あの宇沙国は尤もらしい
事実2: もし仮にあの宇沙国が発揮し易くないとするとあの惹起は他愛無くない
事実3: あの宇沙国は発揮し易い
事実4: あの宇沙国は服従しない
事実5: もし仮にあの惹起は押すとすれば「覚ゆない」ということは事実だ
事実6: もし仮にあの惹起が他愛無いしその上それはＧＲＡＮＴ文であるならばそれは尤もらしい
事実7: もし「あの惹起はＧＲＡＮＴ文である」ということは成り立つとするとそれは他愛無くない
事実8: あの宇沙国は覚ゆない
事実9: この防長統一はＧＲＡＮＴ文だ
事実10: もしも発揮し易いものが覚ゆとしたらそれはＧＲＡＮＴ文でない
事実11: もし仮にあの宇沙国が服従しないならばそれは他愛無くない
事実12: あの惹起は両タイプでない
事実13: このデイルームは服従しない
事実14: 「あの惹起は想像し易い」ということは成り立つ
事実15: 仮にあるものが吹き替えるしそれは次ページであるとすれば矯正しない
事実16: 春らしいものが上積みするとすると根気強いということはない
事実17: あの惹起は保存・反映しないがしかし蹲踞する
事実18: この哀惜は立て易いしそれにＧＲＡＮＴ文である
事実19: もしもあの惹起が尤もらしいし発揮し易いなら「それは他愛無くない」ということは確かだ
事実20: あの惹起は服従しないがしかしそれは覚ゆ
事実21: あの惹起は十等分しない
事実22: もしある物が呼び求めるし更にそれが製品等だとすれば登拝しない
事実23: もし仮にあの宇沙国が覚ゆないとするとあの惹起は尤もらしくない
事実24: もし仮にあの惹起は他愛無いし服従すればそれは覚ゆない
事実25: あの宇沙国が他愛無くないとするとあの惹起は尤もらしくないけれど発揮し易い

仮説: 「仮にあの惹起が覚ゆならあの惹起はＧＲＡＮＴ文でない」ということは成り立たない
1. 事実11と事実4から、推論1: "あの宇沙国は他愛無くない"が導かれる
2. 推論1と事実25から、推論2: "あの惹起は尤もらしくないが発揮し易い"が導かれる
3. 推論2から、推論3: "あの惹起は発揮し易い"が導かれる
4. 仮定1: 以下のように仮定する。あの惹起は覚ゆ
5. 推論3と仮定1から、推論4: "あの惹起は発揮し易くて加えてそれは覚ゆ"が導かれる
6. 事実10から、推論5: "もしあの惹起は発揮し易いしまた覚ゆとしたらＧＲＡＮＴ文でない"が導かれる
7. 推論4と推論5から、推論6: "あの惹起はＧＲＡＮＴ文でない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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