あの元画像は止む無い
fact1: 「「スポット群でないし成功する」ということは事実と異なる」物はある fact2: 「「スポット群でないし成功しない」ということは成り立たない」物はあれば「あの元画像は止む無くない」ということは事実でない fact3: 「「スポット群であるし成功しない」ということは嘘な」物はある fact4: 「成功する」物があるならばあの元画像は止む無い fact5: もしも「なにかは展開し易い」ということは本当であるとすれば「あの潮通しはスポット群でないし成功しない」ということは成り立つということはない fact6: なにがしかの物は展開し易い
fact6 & fact5 -> int1: 「あの潮通しはスポット群でなくて成功しない」ということは成り立たない; int1 -> int2: 「「スポット群でないしまた成功しない」ということは成り立たない」物はある; int2 & fact2 -> hypothesis;
fact6 & fact5 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 -> int2: (Ex): ¬(¬{B}x & ¬{C}x); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「「スポット群でないし成功する」ということは事実と異なる」物はある fact2: 「「スポット群でないし成功しない」ということは成り立たない」物はあれば「あの元画像は止む無くない」ということは事実でない fact3: 「「スポット群であるし成功しない」ということは嘘な」物はある fact4: 「成功する」物があるならばあの元画像は止む無い fact5: もしも「なにかは展開し易い」ということは本当であるとすれば「あの潮通しはスポット群でないし成功しない」ということは成り立つということはない fact6: なにがしかの物は展開し易い ; $hypothesis$ = あの元画像は止む無い ; $proof$ = 
fact6 & fact5 -> int1: 「あの潮通しはスポット群でなくて成功しない」ということは成り立たない; int1 -> int2: 「「スポット群でないしまた成功しない」ということは成り立たない」物はある; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「「スポット群でないし成功する」ということは事実と異なる」物はある
事実2: 「「スポット群でないし成功しない」ということは成り立たない」物はあれば「あの元画像は止む無くない」ということは事実でない
事実3: 「「スポット群であるし成功しない」ということは嘘な」物はある
事実4: 「成功する」物があるならばあの元画像は止む無い
事実5: もしも「なにかは展開し易い」ということは本当であるとすれば「あの潮通しはスポット群でないし成功しない」ということは成り立つということはない
事実6: なにがしかの物は展開し易い

仮説: あの元画像は止む無い
1. 事実6と事実5から、推論1: "「あの潮通しはスポット群でなくて成功しない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「スポット群でないしまた成功しない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実2から、仮説が導かれる

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