「この蒙古斑は隔たらないかまたはそれは本人確認手続きであるということはない」ということは成り立たない
fact1: 仮にそのデュクロ自身が軽しないしその上それが殺せるということはないとするとそのＭＡＰＰはゆらゆらしない fact2: もし何らかの物は零九地点でないならば「それはゆらゆらしなくてそれは利用しない」ということは成り立つということはない fact3: そのＭＡＰＰはゆらゆらするということはないとしたら「その金融債はやばくてかつゆらゆらする」ということは成り立たない fact4: そのデュクロ自身は軽しないしオン／オフするということはない fact5: 仮にその金融債が軽しないけれど殺せるとするとそのデュクロ自身はやばくない fact6: そのデュクロ自身は軽しないしまた殺せない fact7: 「そのＭＡＰＰは輸送担体でない」ということは事実である fact8: この蒙古斑が利用しないとすれば本人確認手続きである fact9: 「ある物は順応し易い」ということは成り立つ fact10: もしこの蒙古斑は利用しないならば「隔たらないか本人確認手続きであるということはないかまたは両方ともだ」ということは本当でない fact11: もし「順応し易い」物があればそのＭＡＰＰは零九地点でない fact12: 「その金融債はやばいしかつそれは隔たる」ということは事実でない fact13: もし「その金融債はやばくてそれにゆらゆらする」ということは誤りであるとすればこの蒙古斑は利用しない
fact1 & fact6 -> int1: そのＭＡＰＰはゆらゆらするということはない; int1 & fact3 -> int2: 「その金融債はやばいしおまけにゆらゆらする」ということは偽である; int2 & fact13 -> int3: この蒙古斑は利用しない; int3 & fact10 -> hypothesis;
この蒙古斑は隔たるということはないかまたは本人確認手続きでないかあるいはどちらもだ
fact15 -> int4: 仮にそのＭＡＰＰは零九地点だということはないとしたら「「それはゆらゆらしないしそれにそれは利用しない」ということは成り立つ」ということは成り立たない; fact16 & fact14 -> int5: そのＭＡＰＰは零九地点だということはない; int4 & int5 -> int6: 「そのＭＡＰＰはゆらゆらしなくて利用するということはない」ということは成り立たない; int6 -> int7: 「「ゆらゆらしないしさらに利用しない」ということは成り立たない」物はある;
$facts$ = fact1: 仮にそのデュクロ自身が軽しないしその上それが殺せるということはないとするとそのＭＡＰＰはゆらゆらしない fact2: もし何らかの物は零九地点でないならば「それはゆらゆらしなくてそれは利用しない」ということは成り立つということはない fact3: そのＭＡＰＰはゆらゆらするということはないとしたら「その金融債はやばくてかつゆらゆらする」ということは成り立たない fact4: そのデュクロ自身は軽しないしオン／オフするということはない fact5: 仮にその金融債が軽しないけれど殺せるとするとそのデュクロ自身はやばくない fact6: そのデュクロ自身は軽しないしまた殺せない fact7: 「そのＭＡＰＰは輸送担体でない」ということは事実である fact8: この蒙古斑が利用しないとすれば本人確認手続きである fact9: 「ある物は順応し易い」ということは成り立つ fact10: もしこの蒙古斑は利用しないならば「隔たらないか本人確認手続きであるということはないかまたは両方ともだ」ということは本当でない fact11: もし「順応し易い」物があればそのＭＡＰＰは零九地点でない fact12: 「その金融債はやばいしかつそれは隔たる」ということは事実でない fact13: もし「その金融債はやばくてそれにゆらゆらする」ということは誤りであるとすればこの蒙古斑は利用しない ; $hypothesis$ = 「この蒙古斑は隔たらないかまたはそれは本人確認手続きであるということはない」ということは成り立たない ; $proof$ = 
fact1 & fact6 -> int1: そのＭＡＰＰはゆらゆらするということはない; int1 & fact3 -> int2: 「その金融債はやばいしおまけにゆらゆらする」ということは偽である; int2 & fact13 -> int3: この蒙古斑は利用しない; int3 & fact10 -> hypothesis; __PROVED__
事実1: 仮にそのデュクロ自身が軽しないしその上それが殺せるということはないとするとそのＭＡＰＰはゆらゆらしない
事実2: もし何らかの物は零九地点でないならば「それはゆらゆらしなくてそれは利用しない」ということは成り立つということはない
事実3: そのＭＡＰＰはゆらゆらするということはないとしたら「その金融債はやばくてかつゆらゆらする」ということは成り立たない
事実4: そのデュクロ自身は軽しないしオン／オフするということはない
事実5: 仮にその金融債が軽しないけれど殺せるとするとそのデュクロ自身はやばくない
事実6: そのデュクロ自身は軽しないしまた殺せない
事実7: 「そのＭＡＰＰは輸送担体でない」ということは事実である
事実8: この蒙古斑が利用しないとすれば本人確認手続きである
事実9: 「ある物は順応し易い」ということは成り立つ
事実10: もしこの蒙古斑は利用しないならば「隔たらないか本人確認手続きであるということはないかまたは両方ともだ」ということは本当でない
事実11: もし「順応し易い」物があればそのＭＡＰＰは零九地点でない
事実12: 「その金融債はやばいしかつそれは隔たる」ということは事実でない
事実13: もし「その金融債はやばくてそれにゆらゆらする」ということは誤りであるとすればこの蒙古斑は利用しない

仮説: 「この蒙古斑は隔たらないかまたはそれは本人確認手続きであるということはない」ということは成り立たない
1. 事実1と事実6から、推論1: "そのＭＡＰＰはゆらゆらするということはない"が導かれる
2. 推論1と事実3から、推論2: "「その金融債はやばいしおまけにゆらゆらする」ということは偽である"が導かれる
3. 推論2と事実13から、推論3: "この蒙古斑は利用しない"が導かれる
4. 推論3と事実10から、仮説が導かれる

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