「「調節し易いけど観測出来ない」ということは成り立たないなら罰さない」物はある
fact1: もし「何かは調節し易い一方で観測出来ない」ということは成り立たないとしたらそれは罰さない fact2: 「もし「調節し易いがしかし観測出来ない」ということは偽であるとすると「罰す」ということは本当である」ものはある fact3: 仮になにがしかの物が観測出来ればそれは罰さない
fact1 -> int1: 「あのプロドラッグは調節し易いけど観測出来ない」ということは事実と異なるならそれは罰さない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし「何かは調節し易い一方で観測出来ない」ということは成り立たないとしたらそれは罰さない fact2: 「もし「調節し易いがしかし観測出来ない」ということは偽であるとすると「罰す」ということは本当である」ものはある fact3: 仮になにがしかの物が観測出来ればそれは罰さない ; $hypothesis$ = 「「調節し易いけど観測出来ない」ということは成り立たないなら罰さない」物はある ; $proof$ = 
fact1 -> int1: 「あのプロドラッグは調節し易いけど観測出来ない」ということは事実と異なるならそれは罰さない; int1 -> hypothesis; __PROVED__
事実1: もし「何かは調節し易い一方で観測出来ない」ということは成り立たないとしたらそれは罰さない
事実2: 「もし「調節し易いがしかし観測出来ない」ということは偽であるとすると「罰す」ということは本当である」ものはある
事実3: 仮になにがしかの物が観測出来ればそれは罰さない

仮説: 「「調節し易いけど観測出来ない」ということは成り立たないなら罰さない」物はある
1. 事実1から、推論1: "「あのプロドラッグは調節し易いけど観測出来ない」ということは事実と異なるならそれは罰さない"が導かれる
2. 推論1から、仮説が導かれる

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