その捏ち上げは希薄化する
fact1: 仮にあの里数が良くないならその捏ち上げは希薄化するし加えてそれは白パンである fact2: もしもあの里数が白パンであるとするとその捏ち上げは受理出来る fact3: もし「なにがしかの物は良いが白パンでない」ということは偽であるならば「それは突き固める」ということは本当だ fact4: 仮にこの地形図が加工し易くないならあの里数は受理出来るし加えてそれはカウンセリングだ fact5: 仮にあるものが受理出来るとしたら良くない fact6: あの里数は白パンであるかあるいはそれは良いかもしくは両方ともだ fact7: もし仮にとある物が受理出来るならカウンセリングでない fact8: もし仮にその捏ち上げが良いとするとあの里数は希薄化する fact9: あの里数が良いとするとその捏ち上げは受理出来る fact10: もし仮になにがしかのものがカウンセリングだということはないとするとそれは希薄化しない
fact6 & fact2 & fact9 -> int1: その捏ち上げは受理出来る; fact7 -> int2: その捏ち上げが受理出来ればカウンセリングでない; int1 & int2 -> int3: その捏ち上げはカウンセリングでない; fact10 -> int4: もし仮にその捏ち上げがカウンセリングでないとすれば希薄化しない; int3 & int4 -> hypothesis;
fact6 & fact2 & fact9 -> int1: {C}{c}; fact7 -> int2: {C}{c} -> ¬{D}{c}; int1 & int2 -> int3: ¬{D}{c}; fact10 -> int4: ¬{D}{c} -> ¬{E}{c}; int3 & int4 -> hypothesis;
「その捏ち上げは希薄化する」ということは正しい
fact12 -> int5: あの里数は受理出来るなら「良くない」ということは事実と異ならない;
$facts$ = fact1: 仮にあの里数が良くないならその捏ち上げは希薄化するし加えてそれは白パンである fact2: もしもあの里数が白パンであるとするとその捏ち上げは受理出来る fact3: もし「なにがしかの物は良いが白パンでない」ということは偽であるならば「それは突き固める」ということは本当だ fact4: 仮にこの地形図が加工し易くないならあの里数は受理出来るし加えてそれはカウンセリングだ fact5: 仮にあるものが受理出来るとしたら良くない fact6: あの里数は白パンであるかあるいはそれは良いかもしくは両方ともだ fact7: もし仮にとある物が受理出来るならカウンセリングでない fact8: もし仮にその捏ち上げが良いとするとあの里数は希薄化する fact9: あの里数が良いとするとその捏ち上げは受理出来る fact10: もし仮になにがしかのものがカウンセリングだということはないとするとそれは希薄化しない ; $hypothesis$ = その捏ち上げは希薄化する ; $proof$ = 
fact6 & fact2 & fact9 -> int1: その捏ち上げは受理出来る; fact7 -> int2: その捏ち上げが受理出来ればカウンセリングでない; int1 & int2 -> int3: その捏ち上げはカウンセリングでない; fact10 -> int4: もし仮にその捏ち上げがカウンセリングでないとすれば希薄化しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にあの里数が良くないならその捏ち上げは希薄化するし加えてそれは白パンである
事実2: もしもあの里数が白パンであるとするとその捏ち上げは受理出来る
事実3: もし「なにがしかの物は良いが白パンでない」ということは偽であるならば「それは突き固める」ということは本当だ
事実4: 仮にこの地形図が加工し易くないならあの里数は受理出来るし加えてそれはカウンセリングだ
事実5: 仮にあるものが受理出来るとしたら良くない
事実6: あの里数は白パンであるかあるいはそれは良いかもしくは両方ともだ
事実7: もし仮にとある物が受理出来るならカウンセリングでない
事実8: もし仮にその捏ち上げが良いとするとあの里数は希薄化する
事実9: あの里数が良いとするとその捏ち上げは受理出来る
事実10: もし仮になにがしかのものがカウンセリングだということはないとするとそれは希薄化しない

仮説: その捏ち上げは希薄化する
1. 事実6と事実2と事実9から、推論1: "その捏ち上げは受理出来る"が導かれる
2. 事実7から、推論2: "その捏ち上げが受理出来ればカウンセリングでない"が導かれる
3. 推論1と推論2から、推論3: "その捏ち上げはカウンセリングでない"が導かれる
4. 事実10から、推論4: "もし仮にその捏ち上げがカウンセリングでないとすれば希薄化しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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