あの子音群は溢れ出ないけどそれは無公告・無催告だ
fact1: 「あの子音群は溢れ出るし無公告・無催告だ」ということは偽である fact2: もしあの子音群は溢れ出ないとすると「この物理限界は溢れ出ないけれど無公告・無催告だ」ということは成り立たない fact3: 仮に「「診断能だし更に探し易くない」ということは偽である」物があるとしたらこの物理限界は溢れ出るということはない fact4: もし仮に「診断能だということはない」物があればこの物理限界は溢れ出ない fact5: もしもこの物理限界は溢れ出ないならば「あの子音群は溢れ出ないがしかし無公告・無催告だ」ということは誤りである fact6: もし仮にこの物理限界は溢れ出ないとしたら「あの子音群は溢れ出るしおまけに無公告・無催告である」ということは間違っている fact7: 「「診断能で更に探し易くない」ということは誤っている」ものはある fact8: あの子音群は探し易くない fact9: もしも「「調理するし加えて住み易くない」ということは誤っている」ものはあるとしたら「この正当化は探し易くない」ということは誤りでない fact10: 何らかのものは診断能であるがしかしそれは探し易くない fact11: 「「診断能だしおまけに探し易い」ということは成り立たない」ものはある
fact7 & fact3 -> int1: この物理限界は溢れ出ない; int1 & fact5 -> hypothesis;
fact7 & fact3 -> int1: ¬{A}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「あの子音群は溢れ出るし無公告・無催告だ」ということは偽である fact2: もしあの子音群は溢れ出ないとすると「この物理限界は溢れ出ないけれど無公告・無催告だ」ということは成り立たない fact3: 仮に「「診断能だし更に探し易くない」ということは偽である」物があるとしたらこの物理限界は溢れ出るということはない fact4: もし仮に「診断能だということはない」物があればこの物理限界は溢れ出ない fact5: もしもこの物理限界は溢れ出ないならば「あの子音群は溢れ出ないがしかし無公告・無催告だ」ということは誤りである fact6: もし仮にこの物理限界は溢れ出ないとしたら「あの子音群は溢れ出るしおまけに無公告・無催告である」ということは間違っている fact7: 「「診断能で更に探し易くない」ということは誤っている」ものはある fact8: あの子音群は探し易くない fact9: もしも「「調理するし加えて住み易くない」ということは誤っている」ものはあるとしたら「この正当化は探し易くない」ということは誤りでない fact10: 何らかのものは診断能であるがしかしそれは探し易くない fact11: 「「診断能だしおまけに探し易い」ということは成り立たない」ものはある ; $hypothesis$ = あの子音群は溢れ出ないけどそれは無公告・無催告だ ; $proof$ = 
fact7 & fact3 -> int1: この物理限界は溢れ出ない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの子音群は溢れ出るし無公告・無催告だ」ということは偽である
事実2: もしあの子音群は溢れ出ないとすると「この物理限界は溢れ出ないけれど無公告・無催告だ」ということは成り立たない
事実3: 仮に「「診断能だし更に探し易くない」ということは偽である」物があるとしたらこの物理限界は溢れ出るということはない
事実4: もし仮に「診断能だということはない」物があればこの物理限界は溢れ出ない
事実5: もしもこの物理限界は溢れ出ないならば「あの子音群は溢れ出ないがしかし無公告・無催告だ」ということは誤りである
事実6: もし仮にこの物理限界は溢れ出ないとしたら「あの子音群は溢れ出るしおまけに無公告・無催告である」ということは間違っている
事実7: 「「診断能で更に探し易くない」ということは誤っている」ものはある
事実8: あの子音群は探し易くない
事実9: もしも「「調理するし加えて住み易くない」ということは誤っている」ものはあるとしたら「この正当化は探し易くない」ということは誤りでない
事実10: 何らかのものは診断能であるがしかしそれは探し易くない
事実11: 「「診断能だしおまけに探し易い」ということは成り立たない」ものはある

仮説: あの子音群は溢れ出ないけどそれは無公告・無催告だ
1. 事実7と事実3から、推論1: "この物理限界は溢れ出ない"が導かれる
2. 推論1と事実5から、仮説が否定される

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