この継続的改善は内面化する
fact1: もしもその鯛は浅しないとすれば「それは陥るし加えてそれは失礼しない」ということは成り立たない fact2: もし何かは絶え間無いということはないとすると生ぜない fact3: 仮に「その鯛は失礼する」ということは事実だとすればこの継続的改善は絶え間無くない fact4: その鯛は浅しない fact5: もしもこの継続的改善が陥るということはないならば生ぜない fact6: もしもなにかは絶え間無いとしたらそれは浅しない fact7: 「その鯛は陥るし失礼する」ということは誤っている fact8: 仮に「その鯛は陥るけど失礼しない」ということは事実と異なればこの継続的改善は絶え間無いということはない fact9: もし仮にこの継続的改善が生ぜないとすると内面化する fact10: もしその鯛は浅しないとすると「陥るし加えて失礼する」ということは成り立たない fact11: 仮にあるものが浅しないとしたらそれは内面化しない
fact1 & fact4 -> int1: 「その鯛は陥るが失礼しない」ということは成り立たない; int1 & fact8 -> int2: この継続的改善は絶え間無くない; fact2 -> int3: もしこの継続的改善が絶え間無くないとすると生ぜない; int2 & int3 -> int4: この継続的改善は生ずるということはない; int4 & fact9 -> hypothesis;
この継続的改善は内面化するということはない
fact12 -> int5: 仮にこの継続的改善が浅しないとすればそれは内面化しない; fact13 -> int6: もしもこの継続的改善は絶え間無いならば「それは浅しない」ということは事実である;
$facts$ = fact1: もしもその鯛は浅しないとすれば「それは陥るし加えてそれは失礼しない」ということは成り立たない fact2: もし何かは絶え間無いということはないとすると生ぜない fact3: 仮に「その鯛は失礼する」ということは事実だとすればこの継続的改善は絶え間無くない fact4: その鯛は浅しない fact5: もしもこの継続的改善が陥るということはないならば生ぜない fact6: もしもなにかは絶え間無いとしたらそれは浅しない fact7: 「その鯛は陥るし失礼する」ということは誤っている fact8: 仮に「その鯛は陥るけど失礼しない」ということは事実と異なればこの継続的改善は絶え間無いということはない fact9: もし仮にこの継続的改善が生ぜないとすると内面化する fact10: もしその鯛は浅しないとすると「陥るし加えて失礼する」ということは成り立たない fact11: 仮にあるものが浅しないとしたらそれは内面化しない ; $hypothesis$ = この継続的改善は内面化する ; $proof$ = 
fact1 & fact4 -> int1: 「その鯛は陥るが失礼しない」ということは成り立たない; int1 & fact8 -> int2: この継続的改善は絶え間無くない; fact2 -> int3: もしこの継続的改善が絶え間無くないとすると生ぜない; int2 & int3 -> int4: この継続的改善は生ずるということはない; int4 & fact9 -> hypothesis; __PROVED__
事実1: もしもその鯛は浅しないとすれば「それは陥るし加えてそれは失礼しない」ということは成り立たない
事実2: もし何かは絶え間無いということはないとすると生ぜない
事実3: 仮に「その鯛は失礼する」ということは事実だとすればこの継続的改善は絶え間無くない
事実4: その鯛は浅しない
事実5: もしもこの継続的改善が陥るということはないならば生ぜない
事実6: もしもなにかは絶え間無いとしたらそれは浅しない
事実7: 「その鯛は陥るし失礼する」ということは誤っている
事実8: 仮に「その鯛は陥るけど失礼しない」ということは事実と異なればこの継続的改善は絶え間無いということはない
事実9: もし仮にこの継続的改善が生ぜないとすると内面化する
事実10: もしその鯛は浅しないとすると「陥るし加えて失礼する」ということは成り立たない
事実11: 仮にあるものが浅しないとしたらそれは内面化しない

仮説: この継続的改善は内面化する
1. 事実1と事実4から、推論1: "「その鯛は陥るが失礼しない」ということは成り立たない"が導かれる
2. 推論1と事実8から、推論2: "この継続的改善は絶え間無くない"が導かれる
3. 事実2から、推論3: "もしこの継続的改善が絶え間無くないとすると生ぜない"が導かれる
4. 推論2と推論3から、推論4: "この継続的改善は生ずるということはない"が導かれる
5. 推論4と事実9から、仮説が導かれる

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