「あの被告等は二十一型である一方で起こり難いということはない」ということは偽だ
fact1: もし仮にあの被告等は情報・コンピューターなら「それは二十一型でその上起こり難くない」ということは成り立つということはない fact2: あの被告等は情報・コンピューターである
$facts$ = fact1: もし仮にあの被告等は情報・コンピューターなら「それは二十一型でその上起こり難くない」ということは成り立つということはない fact2: あの被告等は情報・コンピューターである ; $hypothesis$ = 「あの被告等は二十一型である一方で起こり難いということはない」ということは偽だ ; $proof$ = 
事実1: もし仮にあの被告等は情報・コンピューターなら「それは二十一型でその上起こり難くない」ということは成り立つということはない
事実2: あの被告等は情報・コンピューターである

仮説: 「あの被告等は二十一型である一方で起こり難いということはない」ということは偽だ