「仮にそのカラーネガフィルムは廃するとすると「この片栗粉少々は想像し易い」ということは確かである」ということは偽である
fact1: この競争社会は焼き固めるということはない fact2: このＢ町は焼き固めるとしたら「この片栗粉少々は高しし焼き固める」ということは本当でない fact3: もし仮にこのＢ町が高しならそれは焼き固める fact4: この片栗粉少々は澄ます fact5: 仮に「とある物は優しくない一方で澄ます」ということは間違いであるなら想像し易い fact6: もし仮にあるものが優しいならば高し fact7: もし仮にそのカラーネガフィルムが澄まさないとするとこのＢ町は優しい fact8: そのカラーネガフィルムは高し fact9: オーパＣは履き潰す fact10: なにがしかのものが澄まさないならば廃するし更に優しい fact11: もし仮に「何かは分離し易くないけれど焼き固める」ということは誤りだとすれば想像し易い fact12: このＢ町は想像し易い fact13: この片栗粉少々は廃する fact14: もしもそのカラーネガフィルムが廃するとするとそれは澄まさない fact15: もし仮に「何かは高しということはないけど焼き固める」ということは間違いであるなら廃する fact16: もしなにがしかのものは素人っぽいとすると「薄ら寒い」ということは確かである fact17: そのＬ形側溝は優しい fact18: もし仮にこのＢ町は焼き固めるとしたら「この片栗粉少々は分離し易いし加えて焼き固める」ということは成り立たない fact19: 仮にこのＢ町は焼き固めるとすると「この片栗粉少々は分離し易くない一方で焼き固める」ということは成り立たない
void -> assump1: 以下のように仮定する。そのカラーネガフィルムは廃する; fact14 & assump1 -> int1: そのカラーネガフィルムは澄まさない; int1 & fact7 -> int2: このＢ町は優しい; fact6 -> int3: 仮にこのＢ町が優しいとすれば高し; int2 & int3 -> int4: 「このＢ町は高し」ということは正しい; int4 & fact3 -> int5: このＢ町は焼き固める; int5 & fact19 -> int6: 「この片栗粉少々は分離し易いということはないけど焼き固める」ということは成り立たない; fact11 -> int7: もし仮に「「この片栗粉少々は分離し易くない一方で焼き固める」ということは事実と異なる」ということは確かであるならば想像し易い; int6 & int7 -> int8: この片栗粉少々は想像し易い; [assump1] & int8 -> 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: 以下のように仮定する。そのカラーネガフィルムは廃する; fact14 & assump1 -> int1: そのカラーネガフィルムは澄まさない; int1 & fact7 -> int2: このＢ町は優しい; fact6 -> int3: 仮にこのＢ町が優しいとすれば高し; int2 & int3 -> int4: 「このＢ町は高し」ということは正しい; int4 & fact3 -> int5: このＢ町は焼き固める; int5 & fact19 -> int6: 「この片栗粉少々は分離し易いということはないけど焼き固める」ということは成り立たない; fact11 -> int7: もし仮に「「この片栗粉少々は分離し易くない一方で焼き固める」ということは事実と異なる」ということは確かであるならば想像し易い; int6 & int7 -> int8: この片栗粉少々は想像し易い; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この競争社会は焼き固めるということはない
事実2: このＢ町は焼き固めるとしたら「この片栗粉少々は高しし焼き固める」ということは本当でない
事実3: もし仮にこのＢ町が高しならそれは焼き固める
事実4: この片栗粉少々は澄ます
事実5: 仮に「とある物は優しくない一方で澄ます」ということは間違いであるなら想像し易い
事実6: もし仮にあるものが優しいならば高し
事実7: もし仮にそのカラーネガフィルムが澄まさないとするとこのＢ町は優しい
事実8: そのカラーネガフィルムは高し
事実9: オーパＣは履き潰す
事実10: なにがしかのものが澄まさないならば廃するし更に優しい
事実11: もし仮に「何かは分離し易くないけれど焼き固める」ということは誤りだとすれば想像し易い
事実12: このＢ町は想像し易い
事実13: この片栗粉少々は廃する
事実14: もしもそのカラーネガフィルムが廃するとするとそれは澄まさない
事実15: もし仮に「何かは高しということはないけど焼き固める」ということは間違いであるなら廃する
事実16: もしなにがしかのものは素人っぽいとすると「薄ら寒い」ということは確かである
事実17: そのＬ形側溝は優しい
事実18: もし仮にこのＢ町は焼き固めるとしたら「この片栗粉少々は分離し易いし加えて焼き固める」ということは成り立たない
事実19: 仮にこのＢ町は焼き固めるとすると「この片栗粉少々は分離し易くない一方で焼き固める」ということは成り立たない

仮説: 「仮にそのカラーネガフィルムは廃するとすると「この片栗粉少々は想像し易い」ということは確かである」ということは偽である
1. 仮定1: 以下のように仮定する。そのカラーネガフィルムは廃する
2. 事実14と仮定1から、推論1: "そのカラーネガフィルムは澄まさない"が導かれる
3. 推論1と事実7から、推論2: "このＢ町は優しい"が導かれる
4. 事実6から、推論3: "仮にこのＢ町が優しいとすれば高し"が導かれる
5. 推論2と推論3から、推論4: "「このＢ町は高し」ということは正しい"が導かれる
6. 推論4と事実3から、推論5: "このＢ町は焼き固める"が導かれる
7. 推論5と事実19から、推論6: "「この片栗粉少々は分離し易いということはないけど焼き固める」ということは成り立たない"が導かれる
8. 事実11から、推論7: "もし仮に「「この片栗粉少々は分離し易くない一方で焼き固める」ということは事実と異なる」ということは確かであるならば想像し易い"が導かれる
9. 推論6と推論7から、推論8: "この片栗粉少々は想像し易い"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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