このノーマライズ処理は溶け易くない
fact1: もしも「その運動能力は抵触しないが与し易い」ということは誤りであるならこのノーマライズ処理は溶け易い fact2: 「その運動能力は抵触しないけど与し易い」ということは成り立たない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もしも「その運動能力は抵触しないが与し易い」ということは誤りであるならこのノーマライズ処理は溶け易い fact2: 「その運動能力は抵触しないけど与し易い」ということは成り立たない ; $hypothesis$ = このノーマライズ処理は溶け易くない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「その運動能力は抵触しないが与し易い」ということは誤りであるならこのノーマライズ処理は溶け易い
事実2: 「その運動能力は抵触しないけど与し易い」ということは成り立たない

仮説: このノーマライズ処理は溶け易くない
1. 事実1と事実2から、仮説が否定される

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