「その御団子は舞台衣装だ」ということは本当である
fact1: もしなにがしかの物は収用等でないとしたら舞台衣装であるということはない fact2: その御団子は浸透しないがしかし舞台衣装ならそれは闇金融対策法でない fact3: 仮に何かは追い剥ぎするならそれは曇らさないかそれは舞台衣装であるかまたは両方ともである fact4: 「追い剥ぎしない」ものはある fact5: このバイタル・ポイントは曇らさない fact6: 仮になにかは曇らすということはない一方で授受するとしたら収用等でない fact7: もしその御団子が前置きしないけれど暗いなら舞台衣装であるということはない fact8: そのカツレツが相対しないとすれば舞台衣装でない fact9: もし仮にその御団子が唐物であるということはないがそれが授受するとしたらそれはゲートルでない fact10: もしもなにがしかの物が追い剥ぎしないとすればその御団子は曇らすということはないけどそれは授受する fact11: 「騒がしい」ものはある fact12: 力強いものはある fact13: もしも「そのウィーは収用等だけれど追い剥ぎしない」ということは成り立つということはないとすると追い剥ぎする fact14: 「関東移封でない」ものがあるとしたらその御団子は剥き出さないが舞台衣装である
fact4 & fact10 -> int1: その御団子は曇らすということはないがしかし授受する; fact6 -> int2: もしもその御団子は曇らさないがしかし授受するとすれば収用等でない; int1 & int2 -> int3: その御団子は収用等でない; fact1 -> int4: もしその御団子が収用等でないとすれば舞台衣装でない; int3 & int4 -> hypothesis;
fact4 & fact10 -> int1: (¬{B}{a} & {C}{a}); fact6 -> int2: (¬{B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; fact1 -> int4: ¬{D}{a} -> ¬{E}{a}; int3 & int4 -> hypothesis;
その御団子は舞台衣装である
fact16 -> int5: そのウィーが追い剥ぎするとしたらそれは曇らさないかもしくは舞台衣装であるかもしくは両方ともだ;
$facts$ = fact1: もしなにがしかの物は収用等でないとしたら舞台衣装であるということはない fact2: その御団子は浸透しないがしかし舞台衣装ならそれは闇金融対策法でない fact3: 仮に何かは追い剥ぎするならそれは曇らさないかそれは舞台衣装であるかまたは両方ともである fact4: 「追い剥ぎしない」ものはある fact5: このバイタル・ポイントは曇らさない fact6: 仮になにかは曇らすということはない一方で授受するとしたら収用等でない fact7: もしその御団子が前置きしないけれど暗いなら舞台衣装であるということはない fact8: そのカツレツが相対しないとすれば舞台衣装でない fact9: もし仮にその御団子が唐物であるということはないがそれが授受するとしたらそれはゲートルでない fact10: もしもなにがしかの物が追い剥ぎしないとすればその御団子は曇らすということはないけどそれは授受する fact11: 「騒がしい」ものはある fact12: 力強いものはある fact13: もしも「そのウィーは収用等だけれど追い剥ぎしない」ということは成り立つということはないとすると追い剥ぎする fact14: 「関東移封でない」ものがあるとしたらその御団子は剥き出さないが舞台衣装である ; $hypothesis$ = 「その御団子は舞台衣装だ」ということは本当である ; $proof$ = 
fact4 & fact10 -> int1: その御団子は曇らすということはないがしかし授受する; fact6 -> int2: もしもその御団子は曇らさないがしかし授受するとすれば収用等でない; int1 & int2 -> int3: その御団子は収用等でない; fact1 -> int4: もしその御団子が収用等でないとすれば舞台衣装でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物は収用等でないとしたら舞台衣装であるということはない
事実2: その御団子は浸透しないがしかし舞台衣装ならそれは闇金融対策法でない
事実3: 仮に何かは追い剥ぎするならそれは曇らさないかそれは舞台衣装であるかまたは両方ともである
事実4: 「追い剥ぎしない」ものはある
事実5: このバイタル・ポイントは曇らさない
事実6: 仮になにかは曇らすということはない一方で授受するとしたら収用等でない
事実7: もしその御団子が前置きしないけれど暗いなら舞台衣装であるということはない
事実8: そのカツレツが相対しないとすれば舞台衣装でない
事実9: もし仮にその御団子が唐物であるということはないがそれが授受するとしたらそれはゲートルでない
事実10: もしもなにがしかの物が追い剥ぎしないとすればその御団子は曇らすということはないけどそれは授受する
事実11: 「騒がしい」ものはある
事実12: 力強いものはある
事実13: もしも「そのウィーは収用等だけれど追い剥ぎしない」ということは成り立つということはないとすると追い剥ぎする
事実14: 「関東移封でない」ものがあるとしたらその御団子は剥き出さないが舞台衣装である

仮説: 「その御団子は舞台衣装だ」ということは本当である
1. 事実4と事実10から、推論1: "その御団子は曇らすということはないがしかし授受する"が導かれる
2. 事実6から、推論2: "もしもその御団子は曇らさないがしかし授受するとすれば収用等でない"が導かれる
3. 推論1と推論2から、推論3: "その御団子は収用等でない"が導かれる
4. 事実1から、推論4: "もしその御団子が収用等でないとすれば舞台衣装でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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