あの帯革は宗門改めでない
fact1: あのメトロポリタン美術館は顎である fact2: 仮にこの班長は所狭しなら「埋め込める」ということは成り立つ fact3: なんらかの物はうするとしたら「宗門改めである」ということは成り立つ fact4: もし仮にあの帯革が宗門改めであるとするとこの危険分子は人間っぽいということはないかあるいは疎いということはない fact5: 「もしもこの班長が埋め込めるならあのメトロポリタン美術館は顎でない」ということは嘘でない fact6: もし「この危険分子は疎くない」ということは事実であるならばこの班長はうする fact7: もしもこの班長はうするとすると「所狭し」ということは成り立つ fact8: もし「この危険分子は人間っぽいということはない」ということは正しいならばあの班長はうする
void -> assump1: 以下のように仮定する。あの帯革は宗門改めだ; fact4 & assump1 -> int1: この危険分子は人間っぽくないかまたは疎くないかあるいはどちらもだ; int1 & fact8 & fact6 -> int2: この班長はうする; int2 & fact7 -> int3: この班長は所狭し; int3 & fact2 -> int4: この班長は埋め込める; int4 & fact5 -> int5: あのメトロポリタン美術館は顎であるということはない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの帯革は宗門改めである
fact9 -> int7: もし仮にあの帯革はうすれば「それは宗門改めである」ということは成り立つ;
$facts$ = fact1: あのメトロポリタン美術館は顎である fact2: 仮にこの班長は所狭しなら「埋め込める」ということは成り立つ fact3: なんらかの物はうするとしたら「宗門改めである」ということは成り立つ fact4: もし仮にあの帯革が宗門改めであるとするとこの危険分子は人間っぽいということはないかあるいは疎いということはない fact5: 「もしもこの班長が埋め込めるならあのメトロポリタン美術館は顎でない」ということは嘘でない fact6: もし「この危険分子は疎くない」ということは事実であるならばこの班長はうする fact7: もしもこの班長はうするとすると「所狭し」ということは成り立つ fact8: もし「この危険分子は人間っぽいということはない」ということは正しいならばあの班長はうする ; $hypothesis$ = あの帯革は宗門改めでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの帯革は宗門改めだ; fact4 & assump1 -> int1: この危険分子は人間っぽくないかまたは疎くないかあるいはどちらもだ; int1 & fact8 & fact6 -> int2: この班長はうする; int2 & fact7 -> int3: この班長は所狭し; int3 & fact2 -> int4: この班長は埋め込める; int4 & fact5 -> int5: あのメトロポリタン美術館は顎であるということはない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あのメトロポリタン美術館は顎である
事実2: 仮にこの班長は所狭しなら「埋め込める」ということは成り立つ
事実3: なんらかの物はうするとしたら「宗門改めである」ということは成り立つ
事実4: もし仮にあの帯革が宗門改めであるとするとこの危険分子は人間っぽいということはないかあるいは疎いということはない
事実5: 「もしもこの班長が埋め込めるならあのメトロポリタン美術館は顎でない」ということは嘘でない
事実6: もし「この危険分子は疎くない」ということは事実であるならばこの班長はうする
事実7: もしもこの班長はうするとすると「所狭し」ということは成り立つ
事実8: もし「この危険分子は人間っぽいということはない」ということは正しいならばあの班長はうする

仮説: あの帯革は宗門改めでない
1. 仮定1: 以下のように仮定する。あの帯革は宗門改めだ
2. 事実4と仮定1から、推論1: "この危険分子は人間っぽくないかまたは疎くないかあるいはどちらもだ"が導かれる
3. 推論1と事実8と事実6から、推論2: "この班長はうする"が導かれる
4. 推論2と事実7から、推論3: "この班長は所狭し"が導かれる
5. 推論3と事実2から、推論4: "この班長は埋め込める"が導かれる
6. 推論4と事実5から、推論5: "あのメトロポリタン美術館は顎であるということはない"が導かれる
7. 推論5と事実1から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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