仮にあの加藤神社は暗証番号でないなら「「その海鮮料理は戦争形態だししかも期し難い」ということは事実と異なる」ということは事実だ
fact1: 戦争形態は暗証番号だ fact2: なんらかのものは暗証番号でない fact3: 何らかのものは入り直せば「それは戦争形態である」ということは事実と異ならない fact4: 「暗証番号であるか広しないかまたは両方ともである」物はある fact5: 「その職業安定所は期し難いし暗証番号である」ということは間違いである fact6: あの加藤神社は広しない fact7: あの公文議員はウインクでない fact8: もしもなにがしかの物がウインクでないとすればそのマニュファクチュアは献上するししかも赤黒い fact9: その職業安定所は暗証番号であるなら「あの加藤神社は期し難くないしかつそれは広しということはない」ということは誤っている fact10: もし仮に「その職業安定所は期し難くない」ということは本当であるとしたら「その海鮮料理は戦争形態であるしさらに期し難い」ということは成り立たない fact11: 「何かは広しない」ということは事実だ fact12: なにがしかのものは暗証番号でないかそれは広しかまたは両方だ fact13: もしもあの加藤神社は暗証番号だとすれば「その海鮮料理は戦争形態だしさらに期し難い」ということは嘘だ fact14: もし仮にあの加藤神社が暗証番号でないとしたらその海鮮料理は戦争形態であるしかつ期し難い fact15: もしなにかは暗証番号でないかあるいは広しないかあるいはどちらもであるならその職業安定所は期し難いということはない fact16: もしも「あの加藤神社は期し難くないしそれにそれは広しということはない」ということは事実でないならあの上り貨物列車は広しということはない fact17: あの加藤神社は暗証番号であるかもしくは広しないかまたは両方ともである fact18: もし「「その海鮮料理は把握し難いけど赤黒くない」ということは正しい」ということは間違っているとすればあの職業安定所は入り直す
void -> assump1: 以下のように仮定する。あの加藤神社は暗証番号だということはない; assump1 -> int1: あの加藤神社は暗証番号でないか広しないかまたは両方だ; int1 -> int2: なにかは暗証番号でないかもしくはそれは広しない; int2 & fact15 -> int3: その職業安定所は期し難くない; int3 & fact10 -> int4: 「その海鮮料理は戦争形態であるし期し難い」ということは誤りだ; [assump1] & int4 -> hypothesis;
あの上り貨物列車は広しない
fact23 -> int5: 仮にその職業安定所が戦争形態だとしたら暗証番号である; fact24 -> int6: 仮にその職業安定所が入り直せばそれは戦争形態である; fact20 -> int7: 「ウインクでない」物はある; int7 & fact21 -> int8: そのマニュファクチュアは献上するし赤黒い; int8 -> int9: そのマニュファクチュアは赤黒い; int9 -> int10: とあるものは赤黒い;
$facts$ = fact1: 戦争形態は暗証番号だ fact2: なんらかのものは暗証番号でない fact3: 何らかのものは入り直せば「それは戦争形態である」ということは事実と異ならない fact4: 「暗証番号であるか広しないかまたは両方ともである」物はある fact5: 「その職業安定所は期し難いし暗証番号である」ということは間違いである fact6: あの加藤神社は広しない fact7: あの公文議員はウインクでない fact8: もしもなにがしかの物がウインクでないとすればそのマニュファクチュアは献上するししかも赤黒い fact9: その職業安定所は暗証番号であるなら「あの加藤神社は期し難くないしかつそれは広しということはない」ということは誤っている fact10: もし仮に「その職業安定所は期し難くない」ということは本当であるとしたら「その海鮮料理は戦争形態であるしさらに期し難い」ということは成り立たない fact11: 「何かは広しない」ということは事実だ fact12: なにがしかのものは暗証番号でないかそれは広しかまたは両方だ fact13: もしもあの加藤神社は暗証番号だとすれば「その海鮮料理は戦争形態だしさらに期し難い」ということは嘘だ fact14: もし仮にあの加藤神社が暗証番号でないとしたらその海鮮料理は戦争形態であるしかつ期し難い fact15: もしなにかは暗証番号でないかあるいは広しないかあるいはどちらもであるならその職業安定所は期し難いということはない fact16: もしも「あの加藤神社は期し難くないしそれにそれは広しということはない」ということは事実でないならあの上り貨物列車は広しということはない fact17: あの加藤神社は暗証番号であるかもしくは広しないかまたは両方ともである fact18: もし「「その海鮮料理は把握し難いけど赤黒くない」ということは正しい」ということは間違っているとすればあの職業安定所は入り直す ; $hypothesis$ = 仮にあの加藤神社は暗証番号でないなら「「その海鮮料理は戦争形態だししかも期し難い」ということは事実と異なる」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの加藤神社は暗証番号だということはない; assump1 -> int1: あの加藤神社は暗証番号でないか広しないかまたは両方だ; int1 -> int2: なにかは暗証番号でないかもしくはそれは広しない; int2 & fact15 -> int3: その職業安定所は期し難くない; int3 & fact10 -> int4: 「その海鮮料理は戦争形態であるし期し難い」ということは誤りだ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 戦争形態は暗証番号だ
事実2: なんらかのものは暗証番号でない
事実3: 何らかのものは入り直せば「それは戦争形態である」ということは事実と異ならない
事実4: 「暗証番号であるか広しないかまたは両方ともである」物はある
事実5: 「その職業安定所は期し難いし暗証番号である」ということは間違いである
事実6: あの加藤神社は広しない
事実7: あの公文議員はウインクでない
事実8: もしもなにがしかの物がウインクでないとすればそのマニュファクチュアは献上するししかも赤黒い
事実9: その職業安定所は暗証番号であるなら「あの加藤神社は期し難くないしかつそれは広しということはない」ということは誤っている
事実10: もし仮に「その職業安定所は期し難くない」ということは本当であるとしたら「その海鮮料理は戦争形態であるしさらに期し難い」ということは成り立たない
事実11: 「何かは広しない」ということは事実だ
事実12: なにがしかのものは暗証番号でないかそれは広しかまたは両方だ
事実13: もしもあの加藤神社は暗証番号だとすれば「その海鮮料理は戦争形態だしさらに期し難い」ということは嘘だ
事実14: もし仮にあの加藤神社が暗証番号でないとしたらその海鮮料理は戦争形態であるしかつ期し難い
事実15: もしなにかは暗証番号でないかあるいは広しないかあるいはどちらもであるならその職業安定所は期し難いということはない
事実16: もしも「あの加藤神社は期し難くないしそれにそれは広しということはない」ということは事実でないならあの上り貨物列車は広しということはない
事実17: あの加藤神社は暗証番号であるかもしくは広しないかまたは両方ともである
事実18: もし「「その海鮮料理は把握し難いけど赤黒くない」ということは正しい」ということは間違っているとすればあの職業安定所は入り直す

仮説: 仮にあの加藤神社は暗証番号でないなら「「その海鮮料理は戦争形態だししかも期し難い」ということは事実と異なる」ということは事実だ
1. 仮定1: 以下のように仮定する。あの加藤神社は暗証番号だということはない
2. 仮定1から、推論1: "あの加藤神社は暗証番号でないか広しないかまたは両方だ"が導かれる
3. 推論1から、推論2: "なにかは暗証番号でないかもしくはそれは広しない"が導かれる
4. 推論2と事実15から、推論3: "その職業安定所は期し難くない"が導かれる
5. 推論3と事実10から、推論4: "「その海鮮料理は戦争形態であるし期し難い」ということは誤りだ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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