そのケトン体は施行しない
fact1: 「「ちくるないし生み育てない」ということは偽な」物はある fact2: 仮に「「ちくるないししかも生み育てない」ということは誤りな」物があるとするとそのケトン体は施行する fact3: なにがしかのものはちくるということはないし生み育てるということはない fact4: 「「ちくるないし加えて生み育てる」ということは成り立たない」物はある
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「「ちくるないし生み育てない」ということは偽な」物はある fact2: 仮に「「ちくるないししかも生み育てない」ということは誤りな」物があるとするとそのケトン体は施行する fact3: なにがしかのものはちくるということはないし生み育てるということはない fact4: 「「ちくるないし加えて生み育てる」ということは成り立たない」物はある ; $hypothesis$ = そのケトン体は施行しない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「ちくるないし生み育てない」ということは偽な」物はある
事実2: 仮に「「ちくるないししかも生み育てない」ということは誤りな」物があるとするとそのケトン体は施行する
事実3: なにがしかのものはちくるということはないし生み育てるということはない
事実4: 「「ちくるないし加えて生み育てる」ということは成り立たない」物はある

仮説: そのケトン体は施行しない
1. 事実1と事実2から、仮説が否定される

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