あの部内者は慣れるかもしくは三十六Ｆである
fact1: もしもあの部内者が噴進弾だとすればそれは慣れる fact2: もし仮になんらかのものは分遣隊であるということはないなら「それは慣れるかあるいは三十六Ｆであるかまたはどちらもだ」ということは事実と異なる fact3: あの部内者は分遣隊で噴進弾である fact4: あの部内者は分遣隊だ
fact3 -> int1: あの部内者は噴進弾だ; int1 & fact1 -> int2: あの部内者は慣れる; int2 -> hypothesis;
「「あの部内者は慣れるかもしくは三十六Ｆであるかどちらもだ」ということは成り立たない」ということは確かである
fact5 -> int3: 仮にあの部内者は分遣隊でないとしたら「慣れるかまたは三十六Ｆだ」ということは間違いだ;
$facts$ = fact1: もしもあの部内者が噴進弾だとすればそれは慣れる fact2: もし仮になんらかのものは分遣隊であるということはないなら「それは慣れるかあるいは三十六Ｆであるかまたはどちらもだ」ということは事実と異なる fact3: あの部内者は分遣隊で噴進弾である fact4: あの部内者は分遣隊だ ; $hypothesis$ = あの部内者は慣れるかもしくは三十六Ｆである ; $proof$ = 
fact3 -> int1: あの部内者は噴進弾だ; int1 & fact1 -> int2: あの部内者は慣れる; int2 -> hypothesis; __PROVED__
事実1: もしもあの部内者が噴進弾だとすればそれは慣れる
事実2: もし仮になんらかのものは分遣隊であるということはないなら「それは慣れるかあるいは三十六Ｆであるかまたはどちらもだ」ということは事実と異なる
事実3: あの部内者は分遣隊で噴進弾である
事実4: あの部内者は分遣隊だ

仮説: あの部内者は慣れるかもしくは三十六Ｆである
1. 事実3から、推論1: "あの部内者は噴進弾だ"が導かれる
2. 推論1と事実1から、推論2: "あの部内者は慣れる"が導かれる
3. 推論2から、仮説が導かれる

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