この大物は教官であるということはない
fact1: なんらかのものは脂っぽいなら「それは教官でなくて中国拠点だ」ということは間違っている fact2: 仮にこの大物が脂っぽいとしたらこの働き甲斐は中国拠点でないしそれは教官でない fact3: この大物は教官でないが中国拠点である fact4: あの受け取り配当金は教官である
fact3 -> hypothesis;
fact3 -> hypothesis;
「この働き甲斐は中国拠点であるということはない」ということは確かだ
$facts$ = fact1: なんらかのものは脂っぽいなら「それは教官でなくて中国拠点だ」ということは間違っている fact2: 仮にこの大物が脂っぽいとしたらこの働き甲斐は中国拠点でないしそれは教官でない fact3: この大物は教官でないが中国拠点である fact4: あの受け取り配当金は教官である ; $hypothesis$ = この大物は教官であるということはない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: なんらかのものは脂っぽいなら「それは教官でなくて中国拠点だ」ということは間違っている
事実2: 仮にこの大物が脂っぽいとしたらこの働き甲斐は中国拠点でないしそれは教官でない
事実3: この大物は教官でないが中国拠点である
事実4: あの受け取り配当金は教官である

仮説: この大物は教官であるということはない
1. 事実3から、仮説が導かれる

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