この黒点群は生じ難い
fact1: もし仮に「なんらかのものは娘夫婦でない」ということは正しいならば「それは跨がるということはないかあるいは弱いかまたは両方ともだ」ということは間違いだ fact2: この黒点群は評価するということはない fact3: もしも「その植え付けは行われ易いということはない」ということは確かならばこの黒点群は娘夫婦だしさらに生じ難い fact4: 全ての物は抽出物である fact5: プロらしい物は財政負担だ fact6: この黒点群は漏る fact7: 「あのドーランは生じ難いということはない」ということは本当である fact8: もし仮になんらかの物は財政負担なら「整理・統合しなくてその上それは抽出物だ」ということは嘘である fact9: 「この黒点群は漏らないかあるいは寂れるか両方である」ということは成り立たない fact10: 「この黒点群は漏らないかまたは寂れる」ということは成り立たないなら生じ難くない fact11: 仮に「あるものは整理・統合しない一方で抽出物である」ということは成り立たないならばそれは行われ易いない
fact10 & fact9 -> hypothesis;
fact10 & fact9 -> hypothesis;
この黒点群は生じ難い
fact12 -> int1: 「その植え付けは整理・統合しないがそれは抽出物だ」ということは成り立たないとすればそれは行われ易いない; fact15 -> int2: 「もしその植え付けは財政負担であるとすると「「その植え付けは整理・統合しないがしかし抽出物だ」ということは誤りだ」ということは確かだ」ということは正しい; fact14 -> int3: 仮にその植え付けがプロらしいとしたら財政負担だ;
$facts$ = fact1: もし仮に「なんらかのものは娘夫婦でない」ということは正しいならば「それは跨がるということはないかあるいは弱いかまたは両方ともだ」ということは間違いだ fact2: この黒点群は評価するということはない fact3: もしも「その植え付けは行われ易いということはない」ということは確かならばこの黒点群は娘夫婦だしさらに生じ難い fact4: 全ての物は抽出物である fact5: プロらしい物は財政負担だ fact6: この黒点群は漏る fact7: 「あのドーランは生じ難いということはない」ということは本当である fact8: もし仮になんらかの物は財政負担なら「整理・統合しなくてその上それは抽出物だ」ということは嘘である fact9: 「この黒点群は漏らないかあるいは寂れるか両方である」ということは成り立たない fact10: 「この黒点群は漏らないかまたは寂れる」ということは成り立たないなら生じ難くない fact11: 仮に「あるものは整理・統合しない一方で抽出物である」ということは成り立たないならばそれは行われ易いない ; $hypothesis$ = この黒点群は生じ難い ; $proof$ = 
fact10 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかのものは娘夫婦でない」ということは正しいならば「それは跨がるということはないかあるいは弱いかまたは両方ともだ」ということは間違いだ
事実2: この黒点群は評価するということはない
事実3: もしも「その植え付けは行われ易いということはない」ということは確かならばこの黒点群は娘夫婦だしさらに生じ難い
事実4: 全ての物は抽出物である
事実5: プロらしい物は財政負担だ
事実6: この黒点群は漏る
事実7: 「あのドーランは生じ難いということはない」ということは本当である
事実8: もし仮になんらかの物は財政負担なら「整理・統合しなくてその上それは抽出物だ」ということは嘘である
事実9: 「この黒点群は漏らないかあるいは寂れるか両方である」ということは成り立たない
事実10: 「この黒点群は漏らないかまたは寂れる」ということは成り立たないなら生じ難くない
事実11: 仮に「あるものは整理・統合しない一方で抽出物である」ということは成り立たないならばそれは行われ易いない

仮説: この黒点群は生じ難い
1. 事実10と事実9から、仮説が否定される

よって、仮説が否定されました。