その切磋琢磨は子供らしいしかつ仄暗い
fact1: なにがしかのものは緩くないとすれば「子供らしいしかつ仄暗い」ということは成り立たない fact2: あの財政問題は傍証する fact3: もしもあの財政問題が子供らしくないし予防接種法でないとすればその切磋琢磨は子供らしい fact4: もしもあの財政問題が傍証するしかつ予防接種法であるとしたらその切磋琢磨は緩くない fact5: あの財政問題は予防接種法である
fact2 & fact5 -> int1: あの財政問題は傍証するしまた予防接種法だ; int1 & fact4 -> int2: その切磋琢磨は緩いということはない; fact1 -> int3: もしその切磋琢磨は緩くないとしたら「それは子供らしいししかも仄暗い」ということは誤りだ; int2 & int3 -> hypothesis;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; fact1 -> int3: ¬{C}{b} -> ¬({E}{b} & {D}{b}); int2 & int3 -> hypothesis;
その切磋琢磨は子供らしいし仄暗い
$facts$ = fact1: なにがしかのものは緩くないとすれば「子供らしいしかつ仄暗い」ということは成り立たない fact2: あの財政問題は傍証する fact3: もしもあの財政問題が子供らしくないし予防接種法でないとすればその切磋琢磨は子供らしい fact4: もしもあの財政問題が傍証するしかつ予防接種法であるとしたらその切磋琢磨は緩くない fact5: あの財政問題は予防接種法である ; $hypothesis$ = その切磋琢磨は子供らしいしかつ仄暗い ; $proof$ = 
fact2 & fact5 -> int1: あの財政問題は傍証するしまた予防接種法だ; int1 & fact4 -> int2: その切磋琢磨は緩いということはない; fact1 -> int3: もしその切磋琢磨は緩くないとしたら「それは子供らしいししかも仄暗い」ということは誤りだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは緩くないとすれば「子供らしいしかつ仄暗い」ということは成り立たない
事実2: あの財政問題は傍証する
事実3: もしもあの財政問題が子供らしくないし予防接種法でないとすればその切磋琢磨は子供らしい
事実4: もしもあの財政問題が傍証するしかつ予防接種法であるとしたらその切磋琢磨は緩くない
事実5: あの財政問題は予防接種法である

仮説: その切磋琢磨は子供らしいしかつ仄暗い
1. 事実2と事実5から、推論1: "あの財政問題は傍証するしまた予防接種法だ"が導かれる
2. 推論1と事実4から、推論2: "その切磋琢磨は緩いということはない"が導かれる
3. 事実1から、推論3: "もしその切磋琢磨は緩くないとしたら「それは子供らしいししかも仄暗い」ということは誤りだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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