「この法体制はδＹだ一方でそれは拘置しない」ということは成り立たない
fact1: 「δＹである」ものはある fact2: 「アクセスし易い」ものはある fact3: なんらかの物はアクセスし易いならば「この法体制はδＹだ一方でそれは拘置するということはない」ということは正しくない fact4: 仮に「何かはぼろいがアクセスし易いということはない」ということは事実でないならば「それは拘置しない」ということは本当だ fact5: 「この法体制はδＹでおまけに拘置する」ということは誤りだ
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この法体制はδＹだけれど拘置しない
fact6 -> int1: 「もし仮に「この法体制はぼろいけどアクセスし易くない」ということは嘘であるならこの法体制は拘置するということはない」ということは成り立つ;
$facts$ = fact1: 「δＹである」ものはある fact2: 「アクセスし易い」ものはある fact3: なんらかの物はアクセスし易いならば「この法体制はδＹだ一方でそれは拘置するということはない」ということは正しくない fact4: 仮に「何かはぼろいがアクセスし易いということはない」ということは事実でないならば「それは拘置しない」ということは本当だ fact5: 「この法体制はδＹでおまけに拘置する」ということは誤りだ ; $hypothesis$ = 「この法体制はδＹだ一方でそれは拘置しない」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 「δＹである」ものはある
事実2: 「アクセスし易い」ものはある
事実3: なんらかの物はアクセスし易いならば「この法体制はδＹだ一方でそれは拘置するということはない」ということは正しくない
事実4: 仮に「何かはぼろいがアクセスし易いということはない」ということは事実でないならば「それは拘置しない」ということは本当だ
事実5: 「この法体制はδＹでおまけに拘置する」ということは誤りだ

仮説: 「この法体制はδＹだ一方でそれは拘置しない」ということは成り立たない
1. 事実2と事実3から、仮説が導かれる

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