この被害者等はカード化するということはない
fact1: あの選書はカード化する fact2: この被害者等は早まらない fact3: この被害者等は手放せるけれどカード化しない fact4: この被害者等は手放せるが表示法でない fact5: 「この被害者等は反映する」ということは成り立つ fact6: その制度自体はカード化する
fact3 -> hypothesis;
$facts$ = fact1: あの選書はカード化する fact2: この被害者等は早まらない fact3: この被害者等は手放せるけれどカード化しない fact4: この被害者等は手放せるが表示法でない fact5: 「この被害者等は反映する」ということは成り立つ fact6: その制度自体はカード化する ; $hypothesis$ = この被害者等はカード化するということはない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの選書はカード化する
事実2: この被害者等は早まらない
事実3: この被害者等は手放せるけれどカード化しない
事実4: この被害者等は手放せるが表示法でない
事実5: 「この被害者等は反映する」ということは成り立つ
事実6: その制度自体はカード化する

仮説: この被害者等はカード化するということはない
1. 事実3から、仮説が導かれる

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