「好もしかないものはある」ということは成り立つということはない
fact1: あの苛め撃退マニュアルはスロットマシンである fact2: なにかは好もしい fact3: もしある物は布教しないとすると「好もしかない」ということは本当だ fact4: あの苛め撃退マニュアルはスロットマシンであるけど布教するということはない fact5: この神田川縁は本姓でスロットマシンである
fact4 -> int1: あの苛め撃退マニュアルは布教しない; fact3 -> int2: もしあの苛め撃退マニュアルが布教しないとするとそれは好もしかない; int1 & int2 -> int3: あの苛め撃退マニュアルは好もしかない; int3 -> hypothesis;
fact4 -> int1: ¬{B}{a}; fact3 -> int2: ¬{B}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 -> hypothesis;
この神田川縁は本姓であるがそれは消費者センターでない
fact6 -> int4: この神田川縁は本姓だ;
$facts$ = fact1: あの苛め撃退マニュアルはスロットマシンである fact2: なにかは好もしい fact3: もしある物は布教しないとすると「好もしかない」ということは本当だ fact4: あの苛め撃退マニュアルはスロットマシンであるけど布教するということはない fact5: この神田川縁は本姓でスロットマシンである ; $hypothesis$ = 「好もしかないものはある」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: あの苛め撃退マニュアルは布教しない; fact3 -> int2: もしあの苛め撃退マニュアルが布教しないとするとそれは好もしかない; int1 & int2 -> int3: あの苛め撃退マニュアルは好もしかない; int3 -> hypothesis; __DISPROVED__
事実1: あの苛め撃退マニュアルはスロットマシンである
事実2: なにかは好もしい
事実3: もしある物は布教しないとすると「好もしかない」ということは本当だ
事実4: あの苛め撃退マニュアルはスロットマシンであるけど布教するということはない
事実5: この神田川縁は本姓でスロットマシンである

仮説: 「好もしかないものはある」ということは成り立つということはない
1. 事実4から、推論1: "あの苛め撃退マニュアルは布教しない"が導かれる
2. 事実3から、推論2: "もしあの苛め撃退マニュアルが布教しないとするとそれは好もしかない"が導かれる
3. 推論1と推論2から、推論3: "あの苛め撃退マニュアルは好もしかない"が導かれる
4. 推論3から、仮説が否定される

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