「この二十六例は復号化出来るということはないけれど飲み易い」ということは成り立たない
fact1: その何分は改めるということはない fact2: この罰金は改めるということはない fact3: この罰金は改めないなら「この二十六例は復号化出来ないがしかし飲み易い」ということは嘘だ
$facts$ = fact1: その何分は改めるということはない fact2: この罰金は改めるということはない fact3: この罰金は改めないなら「この二十六例は復号化出来ないがしかし飲み易い」ということは嘘だ ; $hypothesis$ = 「この二十六例は復号化出来るということはないけれど飲み易い」ということは成り立たない ; $proof$ = 
事実1: その何分は改めるということはない
事実2: この罰金は改めるということはない
事実3: この罰金は改めないなら「この二十六例は復号化出来ないがしかし飲み易い」ということは嘘だ

仮説: 「この二十六例は復号化出来るということはないけれど飲み易い」ということは成り立たない