その募兵は作り始めるということはない
fact1: もしも「なんらかの物は素晴らしないかあるいはウラル諸語であるかもしくは両方である」ということは誤りだとしたら「それは作り始めない」ということは成り立つ fact2: このＶＡＬモンは労労じ fact3: 仮にこのＶＡＬモンが労労じならば素晴らし fact4: このＶＡＬモンは素晴らしとすると「「その募兵は素晴らしないかあるいはそれはウラル諸語であるかもしくはどちらもである」ということは成り立たない」ということは成り立つ
fact3 & fact2 -> int1: このＶＡＬモンは素晴らし; int1 & fact4 -> int2: 「「その募兵は素晴らしないかもしくはそれはウラル諸語だ」ということは成り立たない」ということは事実だ; fact1 -> int3: 仮に「その募兵は素晴らしないかもしくはそれはウラル諸語であるかあるいは両方である」ということは間違いなら作り始めない; int2 & int3 -> hypothesis;
$facts$ = fact1: もしも「なんらかの物は素晴らしないかあるいはウラル諸語であるかもしくは両方である」ということは誤りだとしたら「それは作り始めない」ということは成り立つ fact2: このＶＡＬモンは労労じ fact3: 仮にこのＶＡＬモンが労労じならば素晴らし fact4: このＶＡＬモンは素晴らしとすると「「その募兵は素晴らしないかあるいはそれはウラル諸語であるかもしくはどちらもである」ということは成り立たない」ということは成り立つ ; $hypothesis$ = その募兵は作り始めるということはない ; $proof$ = 
fact3 & fact2 -> int1: このＶＡＬモンは素晴らし; int1 & fact4 -> int2: 「「その募兵は素晴らしないかもしくはそれはウラル諸語だ」ということは成り立たない」ということは事実だ; fact1 -> int3: 仮に「その募兵は素晴らしないかもしくはそれはウラル諸語であるかあるいは両方である」ということは間違いなら作り始めない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも「なんらかの物は素晴らしないかあるいはウラル諸語であるかもしくは両方である」ということは誤りだとしたら「それは作り始めない」ということは成り立つ
事実2: このＶＡＬモンは労労じ
事実3: 仮にこのＶＡＬモンが労労じならば素晴らし
事実4: このＶＡＬモンは素晴らしとすると「「その募兵は素晴らしないかあるいはそれはウラル諸語であるかもしくはどちらもである」ということは成り立たない」ということは成り立つ

仮説: その募兵は作り始めるということはない
1. 事実3と事実2から、推論1: "このＶＡＬモンは素晴らし"が導かれる
2. 推論1と事実4から、推論2: "「「その募兵は素晴らしないかもしくはそれはウラル諸語だ」ということは成り立たない」ということは事実だ"が導かれる
3. 事実1から、推論3: "仮に「その募兵は素晴らしないかもしくはそれはウラル諸語であるかあるいは両方である」ということは間違いなら作り始めない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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