そのミックスアイスは広がり難くない
fact1: もし仮にあの園芸療法が浅過ぎないならそのミックスアイスは広がり難くない fact2: もしなにがしかのものが浅過ぎるとしたらそれは広がり難い fact3: もしこの有毛細胞が騙され易くないならそれは後ろめたいし国家毒性プログラムである fact4: もし仮に「何らかのものは調和し難いが植民するということはない」ということは嘘であるならそれは浅過ぎない fact5: 「あの園芸療法は文台である」ということは本当である fact6: 「運営方法だしまた背中合わせでない」ものはある fact7: 「もしも「あの園芸療法は調和し難くない」ということは誤りでないならあの園芸療法は浅過ぎない」ということは確かである fact8: 「古いものは浅過ぎる一方で文台でない」ということは成り立つ fact9: もしも何かは広がり難いということはないとしたら「覚え込むしかつそれは湿っぽくない」ということは成り立たない fact10: 何かは調和し難くないとすれば浅過ぎるということはない fact11: もしあの園芸療法は文台であるとすると「それは調和し難い一方で植民しない」ということは事実と異なる fact12: もしも運営方法が背中合わせだということはないとすればこの有毛細胞は騙され易くない
fact4 -> int1: もし「あの園芸療法は調和し難い一方で植民しない」ということは成り立つということはないとしたら「浅過ぎない」ということは真実である; fact11 & fact5 -> int2: 「あの園芸療法は調和し難い一方でそれは植民するということはない」ということは成り立たない; int1 & int2 -> int3: あの園芸療法は浅過ぎるということはない; int3 & fact1 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact11 & fact5 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact1 -> hypothesis;
「あの園芸療法は覚え込むがしかし湿っぽくない」ということは成り立たない
fact13 -> int4: もし「あの園芸療法は広がり難くない」ということは正しいとすれば「それは覚え込むが湿っぽくない」ということは事実でない;
$facts$ = fact1: もし仮にあの園芸療法が浅過ぎないならそのミックスアイスは広がり難くない fact2: もしなにがしかのものが浅過ぎるとしたらそれは広がり難い fact3: もしこの有毛細胞が騙され易くないならそれは後ろめたいし国家毒性プログラムである fact4: もし仮に「何らかのものは調和し難いが植民するということはない」ということは嘘であるならそれは浅過ぎない fact5: 「あの園芸療法は文台である」ということは本当である fact6: 「運営方法だしまた背中合わせでない」ものはある fact7: 「もしも「あの園芸療法は調和し難くない」ということは誤りでないならあの園芸療法は浅過ぎない」ということは確かである fact8: 「古いものは浅過ぎる一方で文台でない」ということは成り立つ fact9: もしも何かは広がり難いということはないとしたら「覚え込むしかつそれは湿っぽくない」ということは成り立たない fact10: 何かは調和し難くないとすれば浅過ぎるということはない fact11: もしあの園芸療法は文台であるとすると「それは調和し難い一方で植民しない」ということは事実と異なる fact12: もしも運営方法が背中合わせだということはないとすればこの有毛細胞は騙され易くない ; $hypothesis$ = そのミックスアイスは広がり難くない ; $proof$ = 
fact4 -> int1: もし「あの園芸療法は調和し難い一方で植民しない」ということは成り立つということはないとしたら「浅過ぎない」ということは真実である; fact11 & fact5 -> int2: 「あの園芸療法は調和し難い一方でそれは植民するということはない」ということは成り立たない; int1 & int2 -> int3: あの園芸療法は浅過ぎるということはない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの園芸療法が浅過ぎないならそのミックスアイスは広がり難くない
事実2: もしなにがしかのものが浅過ぎるとしたらそれは広がり難い
事実3: もしこの有毛細胞が騙され易くないならそれは後ろめたいし国家毒性プログラムである
事実4: もし仮に「何らかのものは調和し難いが植民するということはない」ということは嘘であるならそれは浅過ぎない
事実5: 「あの園芸療法は文台である」ということは本当である
事実6: 「運営方法だしまた背中合わせでない」ものはある
事実7: 「もしも「あの園芸療法は調和し難くない」ということは誤りでないならあの園芸療法は浅過ぎない」ということは確かである
事実8: 「古いものは浅過ぎる一方で文台でない」ということは成り立つ
事実9: もしも何かは広がり難いということはないとしたら「覚え込むしかつそれは湿っぽくない」ということは成り立たない
事実10: 何かは調和し難くないとすれば浅過ぎるということはない
事実11: もしあの園芸療法は文台であるとすると「それは調和し難い一方で植民しない」ということは事実と異なる
事実12: もしも運営方法が背中合わせだということはないとすればこの有毛細胞は騙され易くない

仮説: そのミックスアイスは広がり難くない
1. 事実4から、推論1: "もし「あの園芸療法は調和し難い一方で植民しない」ということは成り立つということはないとしたら「浅過ぎない」ということは真実である"が導かれる
2. 事実11と事実5から、推論2: "「あの園芸療法は調和し難い一方でそれは植民するということはない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "あの園芸療法は浅過ぎるということはない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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