あのＶＢ．ネットはデオキシリボ核酸でない
fact1: あの人間行為はデオキシリボ核酸である fact2: あのＶＢ．ネットは入り易い fact3: あのＶＢ．ネットはデオキシリボ核酸だ fact4: 仮にとあるものが御構い無くないとするとデオキシリボ核酸であるしまたなぞる
fact3 -> hypothesis;
fact3 -> hypothesis;
あの支局長はデオキシリボ核酸だ
fact5 -> int1: あのＶＢ．ネットが御構い無くないとするとそれがデオキシリボ核酸だしそれはなぞる;
$facts$ = fact1: あの人間行為はデオキシリボ核酸である fact2: あのＶＢ．ネットは入り易い fact3: あのＶＢ．ネットはデオキシリボ核酸だ fact4: 仮にとあるものが御構い無くないとするとデオキシリボ核酸であるしまたなぞる ; $hypothesis$ = あのＶＢ．ネットはデオキシリボ核酸でない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: あの人間行為はデオキシリボ核酸である
事実2: あのＶＢ．ネットは入り易い
事実3: あのＶＢ．ネットはデオキシリボ核酸だ
事実4: 仮にとあるものが御構い無くないとするとデオキシリボ核酸であるしまたなぞる

仮説: あのＶＢ．ネットはデオキシリボ核酸でない
1. 事実3から、仮説が否定される

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