このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐはださい
fact1: もし仮に「なんらかのものは業務分担であるがアーカイブしない」ということは成り立たないならばそれは言い分である fact2: 仮にこのクルド人は参入出来るとすれば「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担だがアーカイブしない」ということは誤りである fact3: 何らかの物が言い分だとするとそれはださい fact4: もしこのクルド人が勝ち誇るとすると参入出来る fact5: このクルド人は勝ち誇る
fact4 & fact5 -> int1: このクルド人は参入出来る; int1 & fact2 -> int2: 「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担である一方でアーカイブしない」ということは間違いである; fact1 -> int3: もし「「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担だがしかしアーカイブしない」ということは成り立つ」ということは成り立たないとしたら言い分である; int2 & int3 -> int4: このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは言い分である; fact3 -> int5: もし仮にこのＮＳ．ＵＮデアＣ．ｃｏ．ｊｐが言い分だとすればださい; int4 & int5 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかのものは業務分担であるがアーカイブしない」ということは成り立たないならばそれは言い分である fact2: 仮にこのクルド人は参入出来るとすれば「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担だがアーカイブしない」ということは誤りである fact3: 何らかの物が言い分だとするとそれはださい fact4: もしこのクルド人が勝ち誇るとすると参入出来る fact5: このクルド人は勝ち誇る ; $hypothesis$ = このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐはださい ; $proof$ = 
fact4 & fact5 -> int1: このクルド人は参入出来る; int1 & fact2 -> int2: 「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担である一方でアーカイブしない」ということは間違いである; fact1 -> int3: もし「「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担だがしかしアーカイブしない」ということは成り立つ」ということは成り立たないとしたら言い分である; int2 & int3 -> int4: このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは言い分である; fact3 -> int5: もし仮にこのＮＳ．ＵＮデアＣ．ｃｏ．ｊｐが言い分だとすればださい; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮に「なんらかのものは業務分担であるがアーカイブしない」ということは成り立たないならばそれは言い分である
事実2: 仮にこのクルド人は参入出来るとすれば「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担だがアーカイブしない」ということは誤りである
事実3: 何らかの物が言い分だとするとそれはださい
事実4: もしこのクルド人が勝ち誇るとすると参入出来る
事実5: このクルド人は勝ち誇る

仮説: このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐはださい
1. 事実4と事実5から、推論1: "このクルド人は参入出来る"が導かれる
2. 推論1と事実2から、推論2: "「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担である一方でアーカイブしない」ということは間違いである"が導かれる
3. 事実1から、推論3: "もし「「このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは業務分担だがしかしアーカイブしない」ということは成り立つ」ということは成り立たないとしたら言い分である"が導かれる
4. 推論2と推論3から、推論4: "このＮＳ．ＵＮデアＣ．ｃｏ．ｊｐは言い分である"が導かれる
5. 事実3から、推論5: "もし仮にこのＮＳ．ＵＮデアＣ．ｃｏ．ｊｐが言い分だとすればださい"が導かれる
6. 推論4と推論5から、仮説が導かれる

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