「この集落割合は隠滅しない」ということは事実である
fact1: なんらかの物は鞍替えしないとすれば「それは隠滅する」ということは本当だ fact2: 「「疑い始めるし服従す」ということは成り立つということはない」物はある fact3: もしもこの締め括りが炭酸ガスレーザーであるかそれは隠滅しないかあるいはどちらもであるなら鞍替えする fact4: 仮に「「言い難いし黒い」ということは事実と異なる」物があるとしたらこの締め括りは炭酸ガスレーザーだ fact5: この締め括りは隠滅する fact6: この締め括りが隠滅するかまたはそれは炭酸ガスレーザーだということはないかどちらもだとしたら「鞍替えする」ということは成り立つ fact7: 「「言い難いしさらに黒い」ということは成り立たない」物はある fact8: もし仮に「この集落割合は炭酸ガスレーザーである」ということは確かだとしたらこの締め括りは炭酸ガスレーザーであるか隠滅しない fact9: もし仮にこの締め括りは鞍替えするかあるいは炭酸ガスレーザーでないかもしくは両方ともだとしたらそれは隠滅する fact10: もしこの締め括りが炭酸ガスレーザーだとするとこの集落割合は炭酸ガスレーザーであるかあるいは鞍替えする fact11: 仮に「黒いということはない」物があるとするとこの締め括りは炭酸ガスレーザーだ fact12: この集落割合は炭酸ガスレーザーであるかもしくは鞍替えする fact13: 「「鞍替えするしさらに炭酸ガスレーザーである」ということは成り立たない」ものはあるとすれば「この締め括りは隠滅する」ということは正しい fact14: もしもこの締め括りが炭酸ガスレーザーであるとすればこの集落割合は炭酸ガスレーザーであるかそれは鞍替えするということはないか両方ともである fact15: もし何かは炭酸ガスレーザーであるか鞍替えしないかもしくは両方だとしたら「それは隠滅する」ということは正しい fact16: もしもこの締め括りが炭酸ガスレーザーであるか鞍替えしないかもしくは両方ともであるとしたら隠滅する fact17: もしも「この集落割合は鞍替えしない」ということは成り立つとすればそれは隠滅する fact18: 「言い難いしそれに黒い物はある」ということは成り立つ fact19: 仮に「「隠滅するし炭酸ガスレーザーだ」ということは真実だということはない」物があるとすればこの締め括りは鞍替えする
fact7 & fact4 -> int1: この締め括りは炭酸ガスレーザーだ; int1 & fact14 -> int2: この集落割合は炭酸ガスレーザーであるかまたはそれは鞍替えしないか両方だ; fact15 -> int3: もしこの集落割合は炭酸ガスレーザーであるか鞍替えしないかもしくはどちらもだとしたらそれは隠滅する; int2 & int3 -> hypothesis;
fact7 & fact4 -> int1: {A}{a}; int1 & fact14 -> int2: ({A}{b} v ¬{B}{b}); fact15 -> int3: ({A}{b} v ¬{B}{b}) -> {C}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: なんらかの物は鞍替えしないとすれば「それは隠滅する」ということは本当だ fact2: 「「疑い始めるし服従す」ということは成り立つということはない」物はある fact3: もしもこの締め括りが炭酸ガスレーザーであるかそれは隠滅しないかあるいはどちらもであるなら鞍替えする fact4: 仮に「「言い難いし黒い」ということは事実と異なる」物があるとしたらこの締め括りは炭酸ガスレーザーだ fact5: この締め括りは隠滅する fact6: この締め括りが隠滅するかまたはそれは炭酸ガスレーザーだということはないかどちらもだとしたら「鞍替えする」ということは成り立つ fact7: 「「言い難いしさらに黒い」ということは成り立たない」物はある fact8: もし仮に「この集落割合は炭酸ガスレーザーである」ということは確かだとしたらこの締め括りは炭酸ガスレーザーであるか隠滅しない fact9: もし仮にこの締め括りは鞍替えするかあるいは炭酸ガスレーザーでないかもしくは両方ともだとしたらそれは隠滅する fact10: もしこの締め括りが炭酸ガスレーザーだとするとこの集落割合は炭酸ガスレーザーであるかあるいは鞍替えする fact11: 仮に「黒いということはない」物があるとするとこの締め括りは炭酸ガスレーザーだ fact12: この集落割合は炭酸ガスレーザーであるかもしくは鞍替えする fact13: 「「鞍替えするしさらに炭酸ガスレーザーである」ということは成り立たない」ものはあるとすれば「この締め括りは隠滅する」ということは正しい fact14: もしもこの締め括りが炭酸ガスレーザーであるとすればこの集落割合は炭酸ガスレーザーであるかそれは鞍替えするということはないか両方ともである fact15: もし何かは炭酸ガスレーザーであるか鞍替えしないかもしくは両方だとしたら「それは隠滅する」ということは正しい fact16: もしもこの締め括りが炭酸ガスレーザーであるか鞍替えしないかもしくは両方ともであるとしたら隠滅する fact17: もしも「この集落割合は鞍替えしない」ということは成り立つとすればそれは隠滅する fact18: 「言い難いしそれに黒い物はある」ということは成り立つ fact19: 仮に「「隠滅するし炭酸ガスレーザーだ」ということは真実だということはない」物があるとすればこの締め括りは鞍替えする ; $hypothesis$ = 「この集落割合は隠滅しない」ということは事実である ; $proof$ = 
fact7 & fact4 -> int1: この締め括りは炭酸ガスレーザーだ; int1 & fact14 -> int2: この集落割合は炭酸ガスレーザーであるかまたはそれは鞍替えしないか両方だ; fact15 -> int3: もしこの集落割合は炭酸ガスレーザーであるか鞍替えしないかもしくはどちらもだとしたらそれは隠滅する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: なんらかの物は鞍替えしないとすれば「それは隠滅する」ということは本当だ
事実2: 「「疑い始めるし服従す」ということは成り立つということはない」物はある
事実3: もしもこの締め括りが炭酸ガスレーザーであるかそれは隠滅しないかあるいはどちらもであるなら鞍替えする
事実4: 仮に「「言い難いし黒い」ということは事実と異なる」物があるとしたらこの締め括りは炭酸ガスレーザーだ
事実5: この締め括りは隠滅する
事実6: この締め括りが隠滅するかまたはそれは炭酸ガスレーザーだということはないかどちらもだとしたら「鞍替えする」ということは成り立つ
事実7: 「「言い難いしさらに黒い」ということは成り立たない」物はある
事実8: もし仮に「この集落割合は炭酸ガスレーザーである」ということは確かだとしたらこの締め括りは炭酸ガスレーザーであるか隠滅しない
事実9: もし仮にこの締め括りは鞍替えするかあるいは炭酸ガスレーザーでないかもしくは両方ともだとしたらそれは隠滅する
事実10: もしこの締め括りが炭酸ガスレーザーだとするとこの集落割合は炭酸ガスレーザーであるかあるいは鞍替えする
事実11: 仮に「黒いということはない」物があるとするとこの締め括りは炭酸ガスレーザーだ
事実12: この集落割合は炭酸ガスレーザーであるかもしくは鞍替えする
事実13: 「「鞍替えするしさらに炭酸ガスレーザーである」ということは成り立たない」ものはあるとすれば「この締め括りは隠滅する」ということは正しい
事実14: もしもこの締め括りが炭酸ガスレーザーであるとすればこの集落割合は炭酸ガスレーザーであるかそれは鞍替えするということはないか両方ともである
事実15: もし何かは炭酸ガスレーザーであるか鞍替えしないかもしくは両方だとしたら「それは隠滅する」ということは正しい
事実16: もしもこの締め括りが炭酸ガスレーザーであるか鞍替えしないかもしくは両方ともであるとしたら隠滅する
事実17: もしも「この集落割合は鞍替えしない」ということは成り立つとすればそれは隠滅する
事実18: 「言い難いしそれに黒い物はある」ということは成り立つ
事実19: 仮に「「隠滅するし炭酸ガスレーザーだ」ということは真実だということはない」物があるとすればこの締め括りは鞍替えする

仮説: 「この集落割合は隠滅しない」ということは事実である
1. 事実7と事実4から、推論1: "この締め括りは炭酸ガスレーザーだ"が導かれる
2. 推論1と事実14から、推論2: "この集落割合は炭酸ガスレーザーであるかまたはそれは鞍替えしないか両方だ"が導かれる
3. 事実15から、推論3: "もしこの集落割合は炭酸ガスレーザーであるか鞍替えしないかもしくはどちらもだとしたらそれは隠滅する"が導かれる
4. 推論2と推論3から、仮説が否定される

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