「国際関係でなくてその上分泌不全でないとすれば易しない」ものはある
fact1: 「何らかのものは分泌不全だがしかし易しない」ということは成り立つということはないとすれば分泌不全でない fact2: 何らかの物は連邦行政政府であるならば国際関係である fact3: もしもあの札所は分泌不全でないなら易しない fact4: 何かは国際関係であるとすると「「それは分泌不全であるしまたそれは易しない」ということは成り立つ」ということは事実と異なる
void -> assump1: 以下のように仮定する。「あの札所は国際関係でなくてその上分泌不全でない」ということは本当だ; assump1 -> int1: あの札所は分泌不全でない; int1 & fact3 -> int2: あの札所は易しない; [assump1] & int2 -> int3: もしもあの札所は国際関係でなくてその上分泌不全でないとすればそれは易しない; int3 -> hypothesis;
この内裏は分泌不全だということはない
fact6 -> int4: 仮に「この内裏は分泌不全だけれどそれは易しない」ということは間違いであるとすれば「分泌不全でない」ということは真実だ; fact5 -> int5: この内裏は国際関係だとすれば「分泌不全だけど易しない」ということは成り立つということはない; fact7 -> int6: もしこの内裏が連邦行政政府ならば国際関係である;
$facts$ = fact1: 「何らかのものは分泌不全だがしかし易しない」ということは成り立つということはないとすれば分泌不全でない fact2: 何らかの物は連邦行政政府であるならば国際関係である fact3: もしもあの札所は分泌不全でないなら易しない fact4: 何かは国際関係であるとすると「「それは分泌不全であるしまたそれは易しない」ということは成り立つ」ということは事実と異なる ; $hypothesis$ = 「国際関係でなくてその上分泌不全でないとすれば易しない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの札所は国際関係でなくてその上分泌不全でない」ということは本当だ; assump1 -> int1: あの札所は分泌不全でない; int1 & fact3 -> int2: あの札所は易しない; [assump1] & int2 -> int3: もしもあの札所は国際関係でなくてその上分泌不全でないとすればそれは易しない; int3 -> hypothesis; __PROVED__
事実1: 「何らかのものは分泌不全だがしかし易しない」ということは成り立つということはないとすれば分泌不全でない
事実2: 何らかの物は連邦行政政府であるならば国際関係である
事実3: もしもあの札所は分泌不全でないなら易しない
事実4: 何かは国際関係であるとすると「「それは分泌不全であるしまたそれは易しない」ということは成り立つ」ということは事実と異なる

仮説: 「国際関係でなくてその上分泌不全でないとすれば易しない」ものはある
1. 仮定1: 以下のように仮定する。「あの札所は国際関係でなくてその上分泌不全でない」ということは本当だ
2. 仮定1から、推論1: "あの札所は分泌不全でない"が導かれる
3. 推論1と事実3から、推論2: "あの札所は易しない"が導かれる
4. [仮定1]と推論2から、推論3: "もしもあの札所は国際関係でなくてその上分泌不全でないとすればそれは易しない"が導かれる
5. 推論3から、仮説が導かれる

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