あの加熱中は吸い付ける
fact1: もし仮にそのロンドン経由が少監でないかまたは宮内庁詰めでないかあるいは両方だとすればあの加熱中は吸い付けない fact2: 「あの厚生統計協会編は吸い付ける」ということは真実だ fact3: とあるものは宮内庁詰めでないとしたら少監であるかもしくは吸い付ける fact4: あの加熱中は吸い付ける
fact4 -> hypothesis;
fact4 -> hypothesis;
あの加熱中は吸い付けない
$facts$ = fact1: もし仮にそのロンドン経由が少監でないかまたは宮内庁詰めでないかあるいは両方だとすればあの加熱中は吸い付けない fact2: 「あの厚生統計協会編は吸い付ける」ということは真実だ fact3: とあるものは宮内庁詰めでないとしたら少監であるかもしくは吸い付ける fact4: あの加熱中は吸い付ける ; $hypothesis$ = あの加熱中は吸い付ける ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にそのロンドン経由が少監でないかまたは宮内庁詰めでないかあるいは両方だとすればあの加熱中は吸い付けない
事実2: 「あの厚生統計協会編は吸い付ける」ということは真実だ
事実3: とあるものは宮内庁詰めでないとしたら少監であるかもしくは吸い付ける
事実4: あの加熱中は吸い付ける

仮説: あの加熱中は吸い付ける
1. 事実4から、仮説が導かれる

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