この消費生活協同組合法は灰色っぽい
fact1: もし仮にあのポリ袋は価値提供であるとすればかりっとしない fact2: もしこの下段が擦り混ぜるかそれは旅行記でないかあるいは両方ともであるならそれは旅行記でない fact3: 「「あのポリ袋は偏向教育であるということはない」ということは確かでない」ということは成り立つ fact4: 「もしもこの消費生活協同組合法が競い合わないとするとこの下段は灰色っぽくない」ということは本当である fact5: 仮にあのポリ袋が価値提供であるかそれは考え辛いならば「それはかりっとしない」ということは本当だ fact6: この下段は偏向教育である fact7: 「競い合う」物があるならばあの下段は擦り混ぜるか旅行記でないかもしくは両方ともである fact8: その乗り不作は競い合う fact9: 「「考え辛くてかつかりっとする」ということは成り立たない」ものがあるとすればあの維新政府は考え辛くない fact10: 仮にあるものが修補しないとすればかりっとしない fact11: この消費生活協同組合法はかりっとする fact12: もしもこの下段が競い合わないとすればこの消費生活協同組合法は灰色っぽい fact13: この維新政府は価値提供でない fact14: なにかは擦り混ぜないとすれば「それは競い合わない」ということは成り立つ fact15: 仮になにがしかの物は修補しないとすれば「考え辛くて更にかりっとする」ということは成り立たない fact16: この下段は惑星である fact17: もし仮にとある物は旅行記でないとしたら「それは修補しない」ということは間違っていない fact18: あのポリ袋は偏向教育であるならばそれはかりっとする fact19: もしこの維新政府が旅行記であるし更に価値提供だとしたらこの下段は競い合わない fact20: 仮にあのポリ袋が考え辛くないならばこの維新政府は修補しないが旅行記である fact21: この維新政府が修補しない一方でそれが旅行記であるならばこの下段は擦り混ぜるということはない fact22: あのポリ袋は修補する fact23: もしあのポリ袋が灰色っぽいけどそれが価値提供でないとすればあの消費生活協同組合法は灰色っぽくない fact24: あのポリ袋は省略出来ない
void -> assump1: 以下のように仮定する。あのポリ袋は考え辛い; assump1 -> int1: あのポリ袋は価値提供であるかまたは考え辛い; int1 & fact5 -> int2: あのポリ袋はかりっとするということはない; fact3 & fact18 -> int3: あのポリ袋はかりっとする; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのポリ袋は考え辛くない; int5 & fact20 -> int6: この維新政府は修補しないが旅行記である; int6 & fact21 -> int7: この下段は擦り混ぜない; fact14 -> int8: 仮にこの下段が擦り混ぜないとしたらそれは競い合わない; int7 & int8 -> int9: この下段は競い合わない; int9 & fact12 -> hypothesis;
この消費生活協同組合法は灰色っぽくない
fact31 -> int10: もしもこの下段は修補しないとすれば「考え辛くておまけにかりっとする」ということは成り立たない; fact28 -> int11: もし仮にこの下段は旅行記であるということはないならばそれは修補するということはない; fact26 -> int12: 「「競い合う」物はある」ということは真実である; int12 & fact29 -> int13: この下段は擦り混ぜるか旅行記だということはないかあるいは両方ともである; fact25 & int13 -> int14: この下段は旅行記でない; int11 & int14 -> int15: この下段は修補するということはない; int10 & int15 -> int16: 「この下段は考え辛いし加えてかりっとする」ということは成り立たない; int16 -> int17: 「「「考え辛くてかりっとする」ということは真実である」ということは成り立たない」物はある; int17 & fact30 -> int18: この維新政府は考え辛くない; int18 -> int19: 「考え辛くない」物はある;
$facts$ = fact1: もし仮にあのポリ袋は価値提供であるとすればかりっとしない fact2: もしこの下段が擦り混ぜるかそれは旅行記でないかあるいは両方ともであるならそれは旅行記でない fact3: 「「あのポリ袋は偏向教育であるということはない」ということは確かでない」ということは成り立つ fact4: 「もしもこの消費生活協同組合法が競い合わないとするとこの下段は灰色っぽくない」ということは本当である fact5: 仮にあのポリ袋が価値提供であるかそれは考え辛いならば「それはかりっとしない」ということは本当だ fact6: この下段は偏向教育である fact7: 「競い合う」物があるならばあの下段は擦り混ぜるか旅行記でないかもしくは両方ともである fact8: その乗り不作は競い合う fact9: 「「考え辛くてかつかりっとする」ということは成り立たない」ものがあるとすればあの維新政府は考え辛くない fact10: 仮にあるものが修補しないとすればかりっとしない fact11: この消費生活協同組合法はかりっとする fact12: もしもこの下段が競い合わないとすればこの消費生活協同組合法は灰色っぽい fact13: この維新政府は価値提供でない fact14: なにかは擦り混ぜないとすれば「それは競い合わない」ということは成り立つ fact15: 仮になにがしかの物は修補しないとすれば「考え辛くて更にかりっとする」ということは成り立たない fact16: この下段は惑星である fact17: もし仮にとある物は旅行記でないとしたら「それは修補しない」ということは間違っていない fact18: あのポリ袋は偏向教育であるならばそれはかりっとする fact19: もしこの維新政府が旅行記であるし更に価値提供だとしたらこの下段は競い合わない fact20: 仮にあのポリ袋が考え辛くないならばこの維新政府は修補しないが旅行記である fact21: この維新政府が修補しない一方でそれが旅行記であるならばこの下段は擦り混ぜるということはない fact22: あのポリ袋は修補する fact23: もしあのポリ袋が灰色っぽいけどそれが価値提供でないとすればあの消費生活協同組合法は灰色っぽくない fact24: あのポリ袋は省略出来ない ; $hypothesis$ = この消費生活協同組合法は灰色っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのポリ袋は考え辛い; assump1 -> int1: あのポリ袋は価値提供であるかまたは考え辛い; int1 & fact5 -> int2: あのポリ袋はかりっとするということはない; fact3 & fact18 -> int3: あのポリ袋はかりっとする; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのポリ袋は考え辛くない; int5 & fact20 -> int6: この維新政府は修補しないが旅行記である; int6 & fact21 -> int7: この下段は擦り混ぜない; fact14 -> int8: 仮にこの下段が擦り混ぜないとしたらそれは競い合わない; int7 & int8 -> int9: この下段は競い合わない; int9 & fact12 -> hypothesis; __PROVED__
事実1: もし仮にあのポリ袋は価値提供であるとすればかりっとしない
事実2: もしこの下段が擦り混ぜるかそれは旅行記でないかあるいは両方ともであるならそれは旅行記でない
事実3: 「「あのポリ袋は偏向教育であるということはない」ということは確かでない」ということは成り立つ
事実4: 「もしもこの消費生活協同組合法が競い合わないとするとこの下段は灰色っぽくない」ということは本当である
事実5: 仮にあのポリ袋が価値提供であるかそれは考え辛いならば「それはかりっとしない」ということは本当だ
事実6: この下段は偏向教育である
事実7: 「競い合う」物があるならばあの下段は擦り混ぜるか旅行記でないかもしくは両方ともである
事実8: その乗り不作は競い合う
事実9: 「「考え辛くてかつかりっとする」ということは成り立たない」ものがあるとすればあの維新政府は考え辛くない
事実10: 仮にあるものが修補しないとすればかりっとしない
事実11: この消費生活協同組合法はかりっとする
事実12: もしもこの下段が競い合わないとすればこの消費生活協同組合法は灰色っぽい
事実13: この維新政府は価値提供でない
事実14: なにかは擦り混ぜないとすれば「それは競い合わない」ということは成り立つ
事実15: 仮になにがしかの物は修補しないとすれば「考え辛くて更にかりっとする」ということは成り立たない
事実16: この下段は惑星である
事実17: もし仮にとある物は旅行記でないとしたら「それは修補しない」ということは間違っていない
事実18: あのポリ袋は偏向教育であるならばそれはかりっとする
事実19: もしこの維新政府が旅行記であるし更に価値提供だとしたらこの下段は競い合わない
事実20: 仮にあのポリ袋が考え辛くないならばこの維新政府は修補しないが旅行記である
事実21: この維新政府が修補しない一方でそれが旅行記であるならばこの下段は擦り混ぜるということはない
事実22: あのポリ袋は修補する
事実23: もしあのポリ袋が灰色っぽいけどそれが価値提供でないとすればあの消費生活協同組合法は灰色っぽくない
事実24: あのポリ袋は省略出来ない

仮説: この消費生活協同組合法は灰色っぽい
1. 仮定1: 以下のように仮定する。あのポリ袋は考え辛い
2. 仮定1から、推論1: "あのポリ袋は価値提供であるかまたは考え辛い"が導かれる
3. 推論1と事実5から、推論2: "あのポリ袋はかりっとするということはない"が導かれる
4. 事実3と事実18から、推論3: "あのポリ袋はかりっとする"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのポリ袋は考え辛くない"が導かれる
7. 推論5と事実20から、推論6: "この維新政府は修補しないが旅行記である"が導かれる
8. 推論6と事実21から、推論7: "この下段は擦り混ぜない"が導かれる
9. 事実14から、推論8: "仮にこの下段が擦り混ぜないとしたらそれは競い合わない"が導かれる
10. 推論7と推論8から、推論9: "この下段は競い合わない"が導かれる
11. 推論9と事実12から、仮説が導かれる

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