「その和食店は定義付けるかあるいはそれは属しない」ということは成り立たない
fact1: 仮にこの墓掃除がどす黒くて加えて二十五日移動平均線であるならばその和食店は属しない fact2: この墓掃除は壊れ易くない fact3: この墓掃除は正しとすると「それは思で加えて二十五日移動平均線でない」ということは成り立つということはない fact4: もしもこの墓掃除が壊れ易いということはないとしたらタンデムでない一方で突き抜ける fact5: 仮に「とある物は思であるがしかし二十五日移動平均線だということはない」ということは偽であるとするとそれは二十五日移動平均線だ fact6: 「なんらかの物はタンデムでないがしかし突き抜ける」ということは本当であるならそれはどす黒い fact7: この墓掃除は正し fact8: もしもあの集権化が壊れ易くないなら信じ易くない
fact6 -> int1: 仮にこの墓掃除がタンデムであるということはないけど突き抜けるなら「どす黒い」ということは確かである; fact4 & fact2 -> int2: この墓掃除はタンデムでないけれど突き抜ける; int1 & int2 -> int3: この墓掃除はどす黒い; fact3 & fact7 -> int4: 「この墓掃除は思だけれど二十五日移動平均線でない」ということは成り立たない; fact5 -> int5: 仮に「「この墓掃除は思だが二十五日移動平均線でない」ということは確かである」ということは成り立たないとすると二十五日移動平均線である; int4 & int5 -> int6: この墓掃除は二十五日移動平均線である; int3 & int6 -> int7: この墓掃除はどす黒いしさらに二十五日移動平均線である; int7 & fact1 -> int8: 「その和食店は属しない」ということは成り立つ; int8 -> hypothesis;
$facts$ = fact1: 仮にこの墓掃除がどす黒くて加えて二十五日移動平均線であるならばその和食店は属しない fact2: この墓掃除は壊れ易くない fact3: この墓掃除は正しとすると「それは思で加えて二十五日移動平均線でない」ということは成り立つということはない fact4: もしもこの墓掃除が壊れ易いということはないとしたらタンデムでない一方で突き抜ける fact5: 仮に「とある物は思であるがしかし二十五日移動平均線だということはない」ということは偽であるとするとそれは二十五日移動平均線だ fact6: 「なんらかの物はタンデムでないがしかし突き抜ける」ということは本当であるならそれはどす黒い fact7: この墓掃除は正し fact8: もしもあの集権化が壊れ易くないなら信じ易くない ; $hypothesis$ = 「その和食店は定義付けるかあるいはそれは属しない」ということは成り立たない ; $proof$ = 
fact6 -> int1: 仮にこの墓掃除がタンデムであるということはないけど突き抜けるなら「どす黒い」ということは確かである; fact4 & fact2 -> int2: この墓掃除はタンデムでないけれど突き抜ける; int1 & int2 -> int3: この墓掃除はどす黒い; fact3 & fact7 -> int4: 「この墓掃除は思だけれど二十五日移動平均線でない」ということは成り立たない; fact5 -> int5: 仮に「「この墓掃除は思だが二十五日移動平均線でない」ということは確かである」ということは成り立たないとすると二十五日移動平均線である; int4 & int5 -> int6: この墓掃除は二十五日移動平均線である; int3 & int6 -> int7: この墓掃除はどす黒いしさらに二十五日移動平均線である; int7 & fact1 -> int8: 「その和食店は属しない」ということは成り立つ; int8 -> hypothesis; __DISPROVED__
事実1: 仮にこの墓掃除がどす黒くて加えて二十五日移動平均線であるならばその和食店は属しない
事実2: この墓掃除は壊れ易くない
事実3: この墓掃除は正しとすると「それは思で加えて二十五日移動平均線でない」ということは成り立つということはない
事実4: もしもこの墓掃除が壊れ易いということはないとしたらタンデムでない一方で突き抜ける
事実5: 仮に「とある物は思であるがしかし二十五日移動平均線だということはない」ということは偽であるとするとそれは二十五日移動平均線だ
事実6: 「なんらかの物はタンデムでないがしかし突き抜ける」ということは本当であるならそれはどす黒い
事実7: この墓掃除は正し
事実8: もしもあの集権化が壊れ易くないなら信じ易くない

仮説: 「その和食店は定義付けるかあるいはそれは属しない」ということは成り立たない
1. 事実6から、推論1: "仮にこの墓掃除がタンデムであるということはないけど突き抜けるなら「どす黒い」ということは確かである"が導かれる
2. 事実4と事実2から、推論2: "この墓掃除はタンデムでないけれど突き抜ける"が導かれる
3. 推論1と推論2から、推論3: "この墓掃除はどす黒い"が導かれる
4. 事実3と事実7から、推論4: "「この墓掃除は思だけれど二十五日移動平均線でない」ということは成り立たない"が導かれる
5. 事実5から、推論5: "仮に「「この墓掃除は思だが二十五日移動平均線でない」ということは確かである」ということは成り立たないとすると二十五日移動平均線である"が導かれる
6. 推論4と推論5から、推論6: "この墓掃除は二十五日移動平均線である"が導かれる
7. 推論3と推論6から、推論7: "この墓掃除はどす黒いしさらに二十五日移動平均線である"が導かれる
8. 推論7と事実1から、推論8: "「その和食店は属しない」ということは成り立つ"が導かれる
9. 推論8から、仮説が否定される

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