その日永はアドレス情報でない
fact1: そのナンバープレートが好個でないとしたらその日永はアドレス情報でない fact2: 仮にその日永が好個でないとするとそのナンバープレートはアドレス情報でない fact3: そのナンバープレートは好個でない fact4: あのミクロ状態はアドレス情報でない fact5: そのナンバープレートはアドレス情報であるということはない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: そのナンバープレートが好個でないとしたらその日永はアドレス情報でない fact2: 仮にその日永が好個でないとするとそのナンバープレートはアドレス情報でない fact3: そのナンバープレートは好個でない fact4: あのミクロ状態はアドレス情報でない fact5: そのナンバープレートはアドレス情報であるということはない ; $hypothesis$ = その日永はアドレス情報でない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: そのナンバープレートが好個でないとしたらその日永はアドレス情報でない
事実2: 仮にその日永が好個でないとするとそのナンバープレートはアドレス情報でない
事実3: そのナンバープレートは好個でない
事実4: あのミクロ状態はアドレス情報でない
事実5: そのナンバープレートはアドレス情報であるということはない

仮説: その日永はアドレス情報でない
1. 事実1と事実3から、仮説が導かれる

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