「この公儀御用は阿片法でない」ということは真実である
fact1: あの営利は働き難い fact2: もしもこのＷ指し値注文が働き難いが阿片法だということはないなら「この公儀御用は阿片法だということはない」ということは成り立つ fact3: もしもこのＷ指し値注文が働き難いならばこの公儀御用は阿片法である fact4: このＷ指し値注文は働き難い
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
この公儀御用は阿片法でない
$facts$ = fact1: あの営利は働き難い fact2: もしもこのＷ指し値注文が働き難いが阿片法だということはないなら「この公儀御用は阿片法だということはない」ということは成り立つ fact3: もしもこのＷ指し値注文が働き難いならばこの公儀御用は阿片法である fact4: このＷ指し値注文は働き難い ; $hypothesis$ = 「この公儀御用は阿片法でない」ということは真実である ; $proof$ = 
fact3 & fact4 -> hypothesis; __DISPROVED__
事実1: あの営利は働き難い
事実2: もしもこのＷ指し値注文が働き難いが阿片法だということはないなら「この公儀御用は阿片法だということはない」ということは成り立つ
事実3: もしもこのＷ指し値注文が働き難いならばこの公儀御用は阿片法である
事実4: このＷ指し値注文は働き難い

仮説: 「この公儀御用は阿片法でない」ということは真実である
1. 事実3と事実4から、仮説が否定される

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