「「「執行出来ないけれど浸入する」ということは偽であるとすると強烈過ぎない」ものはある」ということは成り立たない
fact1: 仮に「なにかは執行出来るし更にそれは浸入する」ということは誤っているとすれば「それは強烈過ぎない」ということは成り立つ fact2: もし「何らかのものは執行出来ないけど浸入する」ということは成り立たないとしたらそれは強烈過ぎない fact3: もし「その一目山人氏は執行出来ないが浸入する」ということは間違いであるとするとそれは強烈過ぎる fact4: 仮に「なんらかの物は属しないけど浸入する」ということは誤りであるとしたらそれは飛び回り始めない
fact2 -> int1: 「その一目山人氏は執行出来ない一方で浸入する」ということは偽だとすると強烈過ぎない; int1 -> hypothesis;
もしも「あの許容濃度値は属しないけれど浸入する」ということは真実でないなら飛び回り始めない
fact5 -> hypothesis;
$facts$ = fact1: 仮に「なにかは執行出来るし更にそれは浸入する」ということは誤っているとすれば「それは強烈過ぎない」ということは成り立つ fact2: もし「何らかのものは執行出来ないけど浸入する」ということは成り立たないとしたらそれは強烈過ぎない fact3: もし「その一目山人氏は執行出来ないが浸入する」ということは間違いであるとするとそれは強烈過ぎる fact4: 仮に「なんらかの物は属しないけど浸入する」ということは誤りであるとしたらそれは飛び回り始めない ; $hypothesis$ = 「「「執行出来ないけれど浸入する」ということは偽であるとすると強烈過ぎない」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「その一目山人氏は執行出来ない一方で浸入する」ということは偽だとすると強烈過ぎない; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは執行出来るし更にそれは浸入する」ということは誤っているとすれば「それは強烈過ぎない」ということは成り立つ
事実2: もし「何らかのものは執行出来ないけど浸入する」ということは成り立たないとしたらそれは強烈過ぎない
事実3: もし「その一目山人氏は執行出来ないが浸入する」ということは間違いであるとするとそれは強烈過ぎる
事実4: 仮に「なんらかの物は属しないけど浸入する」ということは誤りであるとしたらそれは飛び回り始めない

仮説: 「「「執行出来ないけれど浸入する」ということは偽であるとすると強烈過ぎない」ものはある」ということは成り立たない
1. 事実2から、推論1: "「その一目山人氏は執行出来ない一方で浸入する」ということは偽だとすると強烈過ぎない"が導かれる
2. 推論1から、仮説が否定される

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