その買い物袋は創傷部でないけれどそれは変則的貿易形式だ
fact1: その買い物袋は創傷部だということはない fact2: もしも「この柴胡は混入し易い」ということは成り立つとすればそれは止む無くない fact3: この柴胡が混入し易くないならばその買い物袋は創傷部だということはないけれど変則的貿易形式だ fact4: 仮になんらかのものは外交交渉であるがしかし止む無くないなら御美しくない fact5: 混入し易いししかも御美しくない物は止む無くない fact6: このミュージックビデオは出し易くない fact7: なにかは変則的貿易形式でないとすれば御美しくてそれは止む無い fact8: その買い物袋は外交交渉であるならそれは創傷部だということはない fact9: 「この柴胡は外交交渉である」ということは事実だ fact10: その買い物袋は創傷部でないが移転す fact11: このミュージックビデオが出し易くないとするとこの柴胡は御美しくて更に移転す fact12: あのポシェは移転す fact13: その買い物袋が御美しくないとしたらこの柴胡は創傷部であるということはないがそれは移転す fact14: あの長話は変則的貿易形式でない fact15: 仮にこの柴胡が混入し易いかあるいは止む無いならその香我見は外交交渉であるということはない fact16: このミュージックビデオは御美しい fact17: この成年養子は混入し易くない fact18: 仮になにかは混入し易くないならば「創傷部であるということはなくて変則的貿易形式だ」ということは嘘である fact19: この柴胡は移転す
void -> assump1: 以下のように仮定する。この柴胡は混入し易い; fact2 & assump1 -> int1: この柴胡は止む無いということはない; int1 & fact9 -> int2: この柴胡は外交交渉だ一方で止む無くない; fact4 -> int3: 仮にこの柴胡は外交交渉であるが止む無くないとすると「御美しくない」ということは正しい; int2 & int3 -> int4: この柴胡は御美しくない; fact11 & fact6 -> int5: この柴胡は御美しくてまた移転す; int5 -> int6: この柴胡は御美しい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この柴胡は混入し易くない; int8 & fact3 -> hypothesis;
「「その買い物袋は創傷部でないけれど変則的貿易形式だ」ということは成り立つ」ということは誤りである
fact20 -> int9: もしもその買い物袋は混入し易くないなら「それは創傷部でなくてそれは変則的貿易形式だ」ということは間違いだ;
$facts$ = fact1: その買い物袋は創傷部だということはない fact2: もしも「この柴胡は混入し易い」ということは成り立つとすればそれは止む無くない fact3: この柴胡が混入し易くないならばその買い物袋は創傷部だということはないけれど変則的貿易形式だ fact4: 仮になんらかのものは外交交渉であるがしかし止む無くないなら御美しくない fact5: 混入し易いししかも御美しくない物は止む無くない fact6: このミュージックビデオは出し易くない fact7: なにかは変則的貿易形式でないとすれば御美しくてそれは止む無い fact8: その買い物袋は外交交渉であるならそれは創傷部だということはない fact9: 「この柴胡は外交交渉である」ということは事実だ fact10: その買い物袋は創傷部でないが移転す fact11: このミュージックビデオが出し易くないとするとこの柴胡は御美しくて更に移転す fact12: あのポシェは移転す fact13: その買い物袋が御美しくないとしたらこの柴胡は創傷部であるということはないがそれは移転す fact14: あの長話は変則的貿易形式でない fact15: 仮にこの柴胡が混入し易いかあるいは止む無いならその香我見は外交交渉であるということはない fact16: このミュージックビデオは御美しい fact17: この成年養子は混入し易くない fact18: 仮になにかは混入し易くないならば「創傷部であるということはなくて変則的貿易形式だ」ということは嘘である fact19: この柴胡は移転す ; $hypothesis$ = その買い物袋は創傷部でないけれどそれは変則的貿易形式だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この柴胡は混入し易い; fact2 & assump1 -> int1: この柴胡は止む無いということはない; int1 & fact9 -> int2: この柴胡は外交交渉だ一方で止む無くない; fact4 -> int3: 仮にこの柴胡は外交交渉であるが止む無くないとすると「御美しくない」ということは正しい; int2 & int3 -> int4: この柴胡は御美しくない; fact11 & fact6 -> int5: この柴胡は御美しくてまた移転す; int5 -> int6: この柴胡は御美しい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この柴胡は混入し易くない; int8 & fact3 -> hypothesis; __PROVED__
事実1: その買い物袋は創傷部だということはない
事実2: もしも「この柴胡は混入し易い」ということは成り立つとすればそれは止む無くない
事実3: この柴胡が混入し易くないならばその買い物袋は創傷部だということはないけれど変則的貿易形式だ
事実4: 仮になんらかのものは外交交渉であるがしかし止む無くないなら御美しくない
事実5: 混入し易いししかも御美しくない物は止む無くない
事実6: このミュージックビデオは出し易くない
事実7: なにかは変則的貿易形式でないとすれば御美しくてそれは止む無い
事実8: その買い物袋は外交交渉であるならそれは創傷部だということはない
事実9: 「この柴胡は外交交渉である」ということは事実だ
事実10: その買い物袋は創傷部でないが移転す
事実11: このミュージックビデオが出し易くないとするとこの柴胡は御美しくて更に移転す
事実12: あのポシェは移転す
事実13: その買い物袋が御美しくないとしたらこの柴胡は創傷部であるということはないがそれは移転す
事実14: あの長話は変則的貿易形式でない
事実15: 仮にこの柴胡が混入し易いかあるいは止む無いならその香我見は外交交渉であるということはない
事実16: このミュージックビデオは御美しい
事実17: この成年養子は混入し易くない
事実18: 仮になにかは混入し易くないならば「創傷部であるということはなくて変則的貿易形式だ」ということは嘘である
事実19: この柴胡は移転す

仮説: その買い物袋は創傷部でないけれどそれは変則的貿易形式だ
1. 仮定1: 以下のように仮定する。この柴胡は混入し易い
2. 事実2と仮定1から、推論1: "この柴胡は止む無いということはない"が導かれる
3. 推論1と事実9から、推論2: "この柴胡は外交交渉だ一方で止む無くない"が導かれる
4. 事実4から、推論3: "仮にこの柴胡は外交交渉であるが止む無くないとすると「御美しくない」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "この柴胡は御美しくない"が導かれる
6. 事実11と事実6から、推論5: "この柴胡は御美しくてまた移転す"が導かれる
7. 推論5から、推論6: "この柴胡は御美しい"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この柴胡は混入し易くない"が導かれる
10. 推論8と事実3から、仮説が導かれる

よって、仮説が証明されました。