「「もし「カーフェリーであるかもしくはコーディネートでない」ということは成り立たないならば詳細セクションな」ものはある」ということは成り立たない
fact1: 「なにがしかの物は合気道であるか梅ちゃんであるということはないかまたはどちらもである」ということは成り立たないならそれは詳細セクションである fact2: 「そのＳＣＳＩケーブルは遅いかあるいは人間っぽくないかもしくはどちらもである」ということは間違いであるなら写し取る fact3: 「もし仮にカーフェリーであるかコーディネートでないかどちらもであるとしたら詳細セクションである」ものはある fact4: 「もしも「スナック菓子であるかまたは勘違いし易くない」ということは成り立たないとすれば住み易い」物はある fact5: 「そのＳＣＳＩケーブルは醜いかまたは一転しない」ということは偽であるなら読み辛い fact6: もし「そのＳＣＳＩケーブルは社会勉強であるかあるいはカーフェリーでないかもしくは両方ともだ」ということは事実と異なるとしたら「それは位置付けである」ということは誤っているということはない fact7: もし仮に「「そのＳＣＳＩケーブルはカーフェリーであるかまたはネネでない」ということは真実だ」ということは間違いだとすれば其れらしい fact8: もし仮に「そのＳＣＳＩケーブルはカーフェリーであるかコーディネートだ」ということは事実と異なるとすればそれは詳細セクションだ fact9: 「もしも「カーフェリーであるかまたはコーディネートである」ということは誤りであるとすると「詳細セクションだ」ということは本当である」ものはある fact10: 「その小雪は止むかもしくは一転しないかまたは両方だ」ということは偽であるとしたらネネである fact11: 仮に「この中国向けは程近いかもしくはそれは徒らっぽくないかまたはどちらもである」ということは誤っているとすればそれはカーフェリーだ fact12: 仮に「そのＳＣＳＩケーブルはカーフェリーであるかまたはコーディネートであるということはないかもしくは両方だ」ということは誤りであるなら「詳細セクションである」ということは成り立つ fact13: 仮に「そのＳＣＳＩケーブルはコーディネートであるかあるいは華夷だということはないかあるいは両方ともである」ということは間違っているとすれば分かり掛ける fact14: 「その樹脂製は位置付けであるかもしくは相入れないか両方ともだ」ということは成り立たないならそれはコーディネートである fact15: 「「読み辛いかもしくは吊り下げないかもしくはどちらもである」ということは成り立たないとすると「カナダ人である」ということは成り立つ」ものはある fact16: もし「あの同士は仰々しいかまたはなまさないかもしくはどちらもだ」ということは成り立たないとすると詳細セクションである fact17: 「もしも「微細化するかもしくは日本舞踊でないかまたは両方ともである」ということは真実だということはないならば保存・反映する」物はある fact18: そのＳＣＳＩケーブルがカーフェリーであるかコーディネートでないかまたはどちらもであるとすればそれは詳細セクションだ fact19: 「もしも「どす黒いかあるいは楽しないかまたは両方である」ということは間違いならば住み易い」物はある
fact12 -> hypothesis;
仮に「あの同士は合気道であるかもしくはそれは梅ちゃんでないかあるいは両方ともである」ということは事実と異なれば詳細セクションである
fact20 -> hypothesis;
$facts$ = fact1: 「なにがしかの物は合気道であるか梅ちゃんであるということはないかまたはどちらもである」ということは成り立たないならそれは詳細セクションである fact2: 「そのＳＣＳＩケーブルは遅いかあるいは人間っぽくないかもしくはどちらもである」ということは間違いであるなら写し取る fact3: 「もし仮にカーフェリーであるかコーディネートでないかどちらもであるとしたら詳細セクションである」ものはある fact4: 「もしも「スナック菓子であるかまたは勘違いし易くない」ということは成り立たないとすれば住み易い」物はある fact5: 「そのＳＣＳＩケーブルは醜いかまたは一転しない」ということは偽であるなら読み辛い fact6: もし「そのＳＣＳＩケーブルは社会勉強であるかあるいはカーフェリーでないかもしくは両方ともだ」ということは事実と異なるとしたら「それは位置付けである」ということは誤っているということはない fact7: もし仮に「「そのＳＣＳＩケーブルはカーフェリーであるかまたはネネでない」ということは真実だ」ということは間違いだとすれば其れらしい fact8: もし仮に「そのＳＣＳＩケーブルはカーフェリーであるかコーディネートだ」ということは事実と異なるとすればそれは詳細セクションだ fact9: 「もしも「カーフェリーであるかまたはコーディネートである」ということは誤りであるとすると「詳細セクションだ」ということは本当である」ものはある fact10: 「その小雪は止むかもしくは一転しないかまたは両方だ」ということは偽であるとしたらネネである fact11: 仮に「この中国向けは程近いかもしくはそれは徒らっぽくないかまたはどちらもである」ということは誤っているとすればそれはカーフェリーだ fact12: 仮に「そのＳＣＳＩケーブルはカーフェリーであるかまたはコーディネートであるということはないかもしくは両方だ」ということは誤りであるなら「詳細セクションである」ということは成り立つ fact13: 仮に「そのＳＣＳＩケーブルはコーディネートであるかあるいは華夷だということはないかあるいは両方ともである」ということは間違っているとすれば分かり掛ける fact14: 「その樹脂製は位置付けであるかもしくは相入れないか両方ともだ」ということは成り立たないならそれはコーディネートである fact15: 「「読み辛いかもしくは吊り下げないかもしくはどちらもである」ということは成り立たないとすると「カナダ人である」ということは成り立つ」ものはある fact16: もし「あの同士は仰々しいかまたはなまさないかもしくはどちらもだ」ということは成り立たないとすると詳細セクションである fact17: 「もしも「微細化するかもしくは日本舞踊でないかまたは両方ともである」ということは真実だということはないならば保存・反映する」物はある fact18: そのＳＣＳＩケーブルがカーフェリーであるかコーディネートでないかまたはどちらもであるとすればそれは詳細セクションだ fact19: 「もしも「どす黒いかあるいは楽しないかまたは両方である」ということは間違いならば住み易い」物はある ; $hypothesis$ = 「「もし「カーフェリーであるかもしくはコーディネートでない」ということは成り立たないならば詳細セクションな」ものはある」ということは成り立たない ; $proof$ = 
fact12 -> hypothesis; __DISPROVED__
事実1: 「なにがしかの物は合気道であるか梅ちゃんであるということはないかまたはどちらもである」ということは成り立たないならそれは詳細セクションである
事実2: 「そのＳＣＳＩケーブルは遅いかあるいは人間っぽくないかもしくはどちらもである」ということは間違いであるなら写し取る
事実3: 「もし仮にカーフェリーであるかコーディネートでないかどちらもであるとしたら詳細セクションである」ものはある
事実4: 「もしも「スナック菓子であるかまたは勘違いし易くない」ということは成り立たないとすれば住み易い」物はある
事実5: 「そのＳＣＳＩケーブルは醜いかまたは一転しない」ということは偽であるなら読み辛い
事実6: もし「そのＳＣＳＩケーブルは社会勉強であるかあるいはカーフェリーでないかもしくは両方ともだ」ということは事実と異なるとしたら「それは位置付けである」ということは誤っているということはない
事実7: もし仮に「「そのＳＣＳＩケーブルはカーフェリーであるかまたはネネでない」ということは真実だ」ということは間違いだとすれば其れらしい
事実8: もし仮に「そのＳＣＳＩケーブルはカーフェリーであるかコーディネートだ」ということは事実と異なるとすればそれは詳細セクションだ
事実9: 「もしも「カーフェリーであるかまたはコーディネートである」ということは誤りであるとすると「詳細セクションだ」ということは本当である」ものはある
事実10: 「その小雪は止むかもしくは一転しないかまたは両方だ」ということは偽であるとしたらネネである
事実11: 仮に「この中国向けは程近いかもしくはそれは徒らっぽくないかまたはどちらもである」ということは誤っているとすればそれはカーフェリーだ
事実12: 仮に「そのＳＣＳＩケーブルはカーフェリーであるかまたはコーディネートであるということはないかもしくは両方だ」ということは誤りであるなら「詳細セクションである」ということは成り立つ
事実13: 仮に「そのＳＣＳＩケーブルはコーディネートであるかあるいは華夷だということはないかあるいは両方ともである」ということは間違っているとすれば分かり掛ける
事実14: 「その樹脂製は位置付けであるかもしくは相入れないか両方ともだ」ということは成り立たないならそれはコーディネートである
事実15: 「「読み辛いかもしくは吊り下げないかもしくはどちらもである」ということは成り立たないとすると「カナダ人である」ということは成り立つ」ものはある
事実16: もし「あの同士は仰々しいかまたはなまさないかもしくはどちらもだ」ということは成り立たないとすると詳細セクションである
事実17: 「もしも「微細化するかもしくは日本舞踊でないかまたは両方ともである」ということは真実だということはないならば保存・反映する」物はある
事実18: そのＳＣＳＩケーブルがカーフェリーであるかコーディネートでないかまたはどちらもであるとすればそれは詳細セクションだ
事実19: 「もしも「どす黒いかあるいは楽しないかまたは両方である」ということは間違いならば住み易い」物はある

仮説: 「「もし「カーフェリーであるかもしくはコーディネートでない」ということは成り立たないならば詳細セクションな」ものはある」ということは成り立たない
1. 事実12から、仮説が否定される

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