この一号窯は睦み合わない
fact1: 「「あのワイン・テーブルは受け難くないがしかしコントロール群だ」ということは成り立つ」ということは成り立たないとすればこの一号窯は睦み合う fact2: 仮にとあるものは中心導体であるかまたはど偉いかどちらもであるとしたら睦み合うということはない fact3: あのワイン・テーブルが受け難くないけど残り続けるとするとこの一号窯は残り続ける fact4: もしも「あのワイン・テーブルは各業種平均でないがそれは残り続ける」ということは成り立たないとすればこの一号窯は受け難い fact5: もし仮に何らかの物は各業種平均であるとすると「それは受け難くないコントロール群である」ということは成り立たない fact6: 仮にあの危険負担は各業種平均でないならば残り続けない fact7: あのワイン・テーブルはブランド拡張する fact8: とあるものが残り続ければ各業種平均である fact9: あのワイン・テーブルは中心導体であるということはないけどど偉い fact10: 山深いものは宮山古墳である fact11: もし仮に何かはど偉いとしたらそれは残り続ける
fact9 -> int1: あのワイン・テーブルはど偉い; fact11 -> int2: もしもあのワイン・テーブルがど偉いならば残り続ける; int1 & int2 -> int3: あのワイン・テーブルは残り続ける; fact8 -> int4: あのワイン・テーブルが残り続けるとするとそれは各業種平均だ; int3 & int4 -> int5: あのワイン・テーブルは各業種平均である; fact5 -> int6: もしもあのワイン・テーブルは各業種平均だとすると「それは受け難いということはない一方でコントロール群である」ということは間違っている; int5 & int6 -> int7: 「あのワイン・テーブルは受け難いということはないけどコントロール群だ」ということは嘘だ; int7 & fact1 -> hypothesis;
あの危険負担は中心導体である
$facts$ = fact1: 「「あのワイン・テーブルは受け難くないがしかしコントロール群だ」ということは成り立つ」ということは成り立たないとすればこの一号窯は睦み合う fact2: 仮にとあるものは中心導体であるかまたはど偉いかどちらもであるとしたら睦み合うということはない fact3: あのワイン・テーブルが受け難くないけど残り続けるとするとこの一号窯は残り続ける fact4: もしも「あのワイン・テーブルは各業種平均でないがそれは残り続ける」ということは成り立たないとすればこの一号窯は受け難い fact5: もし仮に何らかの物は各業種平均であるとすると「それは受け難くないコントロール群である」ということは成り立たない fact6: 仮にあの危険負担は各業種平均でないならば残り続けない fact7: あのワイン・テーブルはブランド拡張する fact8: とあるものが残り続ければ各業種平均である fact9: あのワイン・テーブルは中心導体であるということはないけどど偉い fact10: 山深いものは宮山古墳である fact11: もし仮に何かはど偉いとしたらそれは残り続ける ; $hypothesis$ = この一号窯は睦み合わない ; $proof$ = 
fact9 -> int1: あのワイン・テーブルはど偉い; fact11 -> int2: もしもあのワイン・テーブルがど偉いならば残り続ける; int1 & int2 -> int3: あのワイン・テーブルは残り続ける; fact8 -> int4: あのワイン・テーブルが残り続けるとするとそれは各業種平均だ; int3 & int4 -> int5: あのワイン・テーブルは各業種平均である; fact5 -> int6: もしもあのワイン・テーブルは各業種平均だとすると「それは受け難いということはない一方でコントロール群である」ということは間違っている; int5 & int6 -> int7: 「あのワイン・テーブルは受け難いということはないけどコントロール群だ」ということは嘘だ; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: 「「あのワイン・テーブルは受け難くないがしかしコントロール群だ」ということは成り立つ」ということは成り立たないとすればこの一号窯は睦み合う
事実2: 仮にとあるものは中心導体であるかまたはど偉いかどちらもであるとしたら睦み合うということはない
事実3: あのワイン・テーブルが受け難くないけど残り続けるとするとこの一号窯は残り続ける
事実4: もしも「あのワイン・テーブルは各業種平均でないがそれは残り続ける」ということは成り立たないとすればこの一号窯は受け難い
事実5: もし仮に何らかの物は各業種平均であるとすると「それは受け難くないコントロール群である」ということは成り立たない
事実6: 仮にあの危険負担は各業種平均でないならば残り続けない
事実7: あのワイン・テーブルはブランド拡張する
事実8: とあるものが残り続ければ各業種平均である
事実9: あのワイン・テーブルは中心導体であるということはないけどど偉い
事実10: 山深いものは宮山古墳である
事実11: もし仮に何かはど偉いとしたらそれは残り続ける

仮説: この一号窯は睦み合わない
1. 事実9から、推論1: "あのワイン・テーブルはど偉い"が導かれる
2. 事実11から、推論2: "もしもあのワイン・テーブルがど偉いならば残り続ける"が導かれる
3. 推論1と推論2から、推論3: "あのワイン・テーブルは残り続ける"が導かれる
4. 事実8から、推論4: "あのワイン・テーブルが残り続けるとするとそれは各業種平均だ"が導かれる
5. 推論3と推論4から、推論5: "あのワイン・テーブルは各業種平均である"が導かれる
6. 事実5から、推論6: "もしもあのワイン・テーブルは各業種平均だとすると「それは受け難いということはない一方でコントロール群である」ということは間違っている"が導かれる
7. 推論5と推論6から、推論7: "「あのワイン・テーブルは受け難いということはないけどコントロール群だ」ということは嘘だ"が導かれる
8. 推論7と事実1から、仮説が否定される

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