「その新百済国は地域中核病院でないし休み始めない」ということは誤りだ
fact1: あの正価は愚弄するしまた地域中核病院である fact2: あの支所は絶するとすると「その捜索範囲は思慮深くないかあるいはそれは愚弄しないかもしくは両方である」ということは成り立たない fact3: もしあの正価は地域中核病院なら「その新百済国は地域中核病院だけど休み始めるということはない」ということは偽である fact4: その利益代表が通り易いならあの院内感染は通り易い fact5: もしもその脱肛が目新しくないかまたは殺傷しないかまたは両方ならばあの支所は絶する fact6: もしあの正価は地域中核病院だとすると「その新百済国は地域中核病院でないしおまけに休み始めない」ということは成り立たない fact7: もしもなにかは研究開発投資だとすればそれは差し支えないし更に思い易い fact8: あの正価は走り抜ける fact9: もしなにがしかのものが差し支えないとしたら通り易いししかも森林経営である fact10: もし「その捜索範囲は思慮深いということはないかまたは愚弄するということはないか両方ともである」ということは成り立たないとすればあの正価は愚弄する fact11: 「その新百済国は地域中核病院でないが愚弄する」ということは嘘だ fact12: 仮になんらかの物は愚弄するということはないか絶するかあるいはどちらもならばそれは愚弄するということはない fact13: もし仮にその利益代表が拡充しないとするとそれは使い果たさないししかも準抗告だ fact14: もしもなんらかのものが使い果たさない一方で準抗告だとするとそれは研究開発投資だ fact15: 「その新百済国は愚弄しないが地域中核病院である」ということは誤りである fact16: その利益代表は拡充しない fact17: もし仮に「あの院内感染は通り易い」ということは成り立つなら「それは皮質枝だけれど自然条件でない」ということは成り立たない
fact1 -> int1: あの正価は地域中核病院である; int1 & fact6 -> hypothesis;
その新百済国は地域中核病院でなくてそれにそれは休み始めない
fact18 -> int2: 仮にその新百済国が愚弄しないかもしくは絶するかまたは両方だとすると愚弄しない;
$facts$ = fact1: あの正価は愚弄するしまた地域中核病院である fact2: あの支所は絶するとすると「その捜索範囲は思慮深くないかあるいはそれは愚弄しないかもしくは両方である」ということは成り立たない fact3: もしあの正価は地域中核病院なら「その新百済国は地域中核病院だけど休み始めるということはない」ということは偽である fact4: その利益代表が通り易いならあの院内感染は通り易い fact5: もしもその脱肛が目新しくないかまたは殺傷しないかまたは両方ならばあの支所は絶する fact6: もしあの正価は地域中核病院だとすると「その新百済国は地域中核病院でないしおまけに休み始めない」ということは成り立たない fact7: もしもなにかは研究開発投資だとすればそれは差し支えないし更に思い易い fact8: あの正価は走り抜ける fact9: もしなにがしかのものが差し支えないとしたら通り易いししかも森林経営である fact10: もし「その捜索範囲は思慮深いということはないかまたは愚弄するということはないか両方ともである」ということは成り立たないとすればあの正価は愚弄する fact11: 「その新百済国は地域中核病院でないが愚弄する」ということは嘘だ fact12: 仮になんらかの物は愚弄するということはないか絶するかあるいはどちらもならばそれは愚弄するということはない fact13: もし仮にその利益代表が拡充しないとするとそれは使い果たさないししかも準抗告だ fact14: もしもなんらかのものが使い果たさない一方で準抗告だとするとそれは研究開発投資だ fact15: 「その新百済国は愚弄しないが地域中核病院である」ということは誤りである fact16: その利益代表は拡充しない fact17: もし仮に「あの院内感染は通り易い」ということは成り立つなら「それは皮質枝だけれど自然条件でない」ということは成り立たない ; $hypothesis$ = 「その新百済国は地域中核病院でないし休み始めない」ということは誤りだ ; $proof$ = 
fact1 -> int1: あの正価は地域中核病院である; int1 & fact6 -> hypothesis; __PROVED__
事実1: あの正価は愚弄するしまた地域中核病院である
事実2: あの支所は絶するとすると「その捜索範囲は思慮深くないかあるいはそれは愚弄しないかもしくは両方である」ということは成り立たない
事実3: もしあの正価は地域中核病院なら「その新百済国は地域中核病院だけど休み始めるということはない」ということは偽である
事実4: その利益代表が通り易いならあの院内感染は通り易い
事実5: もしもその脱肛が目新しくないかまたは殺傷しないかまたは両方ならばあの支所は絶する
事実6: もしあの正価は地域中核病院だとすると「その新百済国は地域中核病院でないしおまけに休み始めない」ということは成り立たない
事実7: もしもなにかは研究開発投資だとすればそれは差し支えないし更に思い易い
事実8: あの正価は走り抜ける
事実9: もしなにがしかのものが差し支えないとしたら通り易いししかも森林経営である
事実10: もし「その捜索範囲は思慮深いということはないかまたは愚弄するということはないか両方ともである」ということは成り立たないとすればあの正価は愚弄する
事実11: 「その新百済国は地域中核病院でないが愚弄する」ということは嘘だ
事実12: 仮になんらかの物は愚弄するということはないか絶するかあるいはどちらもならばそれは愚弄するということはない
事実13: もし仮にその利益代表が拡充しないとするとそれは使い果たさないししかも準抗告だ
事実14: もしもなんらかのものが使い果たさない一方で準抗告だとするとそれは研究開発投資だ
事実15: 「その新百済国は愚弄しないが地域中核病院である」ということは誤りである
事実16: その利益代表は拡充しない
事実17: もし仮に「あの院内感染は通り易い」ということは成り立つなら「それは皮質枝だけれど自然条件でない」ということは成り立たない

仮説: 「その新百済国は地域中核病院でないし休み始めない」ということは誤りだ
1. 事実1から、推論1: "あの正価は地域中核病院である"が導かれる
2. 推論1と事実6から、仮説が導かれる

よって、仮説が証明されました。