この祝祭日は市場金利でない
fact1: その静的障害は連結控除限度額だ fact2: もしもこの祝祭日が悍ましいとしたらそれは市場金利である fact3: 確からしい物は一区切りである fact4: すべてのものは第一百貨店でない fact5: なにかは第一百貨店でないなら回帰思想であるかまたは確からしい fact6: 「この燕脂は目敏いしそれは何気無い」ということは間違っている fact7: もしもその六十地域が十歳頃であるとするとこの祝祭日は連結控除限度額であるということはないがしかしそれは悍ましい fact8: 「この祝祭日は何気無いけど市場金利でない」ということは事実と異なる fact9: 「一区切りである」ものがあるとすればこの燕脂は落ち合うしおまけに考え辛い fact10: 仮に何らかの物は十歳頃であるとしたら悍ましい fact11: 仮に「その六十地域は連結控除限度額だ」ということは正しいとすれば「この燕脂は目敏いが何気無いということはない」ということは成り立たない fact12: その六十地域は連結控除限度額だ fact13: もしも何らかのものは連結控除限度額でないが悍ましいとすればそれは市場金利でない fact14: もしも「その六十地域は市場金利であるということはなくておまけに十歳頃でない」ということは偽ならばあのタイガーは市場金利でない fact15: もし仮に「この燕脂は何気無い」ということは本当であるとすればあの祝祭日は悍ましい fact16: もしも「この祝祭日は何気無いがしかし悍ましくない」ということは本当であるということはないとすればあの燕脂は市場金利だ fact17: 仮にこの燕脂が考え辛いとするとその六十地域は絶対化する fact18: もし仮にその六十地域は連結控除限度額だとすると「この燕脂は目敏いし加えて何気無い」ということは誤りだ fact19: もしなにかは絶対化すれば十歳頃だ fact20: もしも「この燕脂は目敏いけど何気無くない」ということは誤りであるとするとこの祝祭日は悍ましい
fact11 & fact12 -> int1: 「この燕脂は目敏い一方で何気無くない」ということは誤りだ; int1 & fact20 -> int2: この祝祭日は悍ましい; int2 & fact2 -> hypothesis;
fact11 & fact12 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact20 -> int2: {B}{c}; int2 & fact2 -> hypothesis;
「そのタイガーは連結控除限度額だ」ということは成り立つ
$facts$ = fact1: その静的障害は連結控除限度額だ fact2: もしもこの祝祭日が悍ましいとしたらそれは市場金利である fact3: 確からしい物は一区切りである fact4: すべてのものは第一百貨店でない fact5: なにかは第一百貨店でないなら回帰思想であるかまたは確からしい fact6: 「この燕脂は目敏いしそれは何気無い」ということは間違っている fact7: もしもその六十地域が十歳頃であるとするとこの祝祭日は連結控除限度額であるということはないがしかしそれは悍ましい fact8: 「この祝祭日は何気無いけど市場金利でない」ということは事実と異なる fact9: 「一区切りである」ものがあるとすればこの燕脂は落ち合うしおまけに考え辛い fact10: 仮に何らかの物は十歳頃であるとしたら悍ましい fact11: 仮に「その六十地域は連結控除限度額だ」ということは正しいとすれば「この燕脂は目敏いが何気無いということはない」ということは成り立たない fact12: その六十地域は連結控除限度額だ fact13: もしも何らかのものは連結控除限度額でないが悍ましいとすればそれは市場金利でない fact14: もしも「その六十地域は市場金利であるということはなくておまけに十歳頃でない」ということは偽ならばあのタイガーは市場金利でない fact15: もし仮に「この燕脂は何気無い」ということは本当であるとすればあの祝祭日は悍ましい fact16: もしも「この祝祭日は何気無いがしかし悍ましくない」ということは本当であるということはないとすればあの燕脂は市場金利だ fact17: 仮にこの燕脂が考え辛いとするとその六十地域は絶対化する fact18: もし仮にその六十地域は連結控除限度額だとすると「この燕脂は目敏いし加えて何気無い」ということは誤りだ fact19: もしなにかは絶対化すれば十歳頃だ fact20: もしも「この燕脂は目敏いけど何気無くない」ということは誤りであるとするとこの祝祭日は悍ましい ; $hypothesis$ = この祝祭日は市場金利でない ; $proof$ = 
fact11 & fact12 -> int1: 「この燕脂は目敏い一方で何気無くない」ということは誤りだ; int1 & fact20 -> int2: この祝祭日は悍ましい; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: その静的障害は連結控除限度額だ
事実2: もしもこの祝祭日が悍ましいとしたらそれは市場金利である
事実3: 確からしい物は一区切りである
事実4: すべてのものは第一百貨店でない
事実5: なにかは第一百貨店でないなら回帰思想であるかまたは確からしい
事実6: 「この燕脂は目敏いしそれは何気無い」ということは間違っている
事実7: もしもその六十地域が十歳頃であるとするとこの祝祭日は連結控除限度額であるということはないがしかしそれは悍ましい
事実8: 「この祝祭日は何気無いけど市場金利でない」ということは事実と異なる
事実9: 「一区切りである」ものがあるとすればこの燕脂は落ち合うしおまけに考え辛い
事実10: 仮に何らかの物は十歳頃であるとしたら悍ましい
事実11: 仮に「その六十地域は連結控除限度額だ」ということは正しいとすれば「この燕脂は目敏いが何気無いということはない」ということは成り立たない
事実12: その六十地域は連結控除限度額だ
事実13: もしも何らかのものは連結控除限度額でないが悍ましいとすればそれは市場金利でない
事実14: もしも「その六十地域は市場金利であるということはなくておまけに十歳頃でない」ということは偽ならばあのタイガーは市場金利でない
事実15: もし仮に「この燕脂は何気無い」ということは本当であるとすればあの祝祭日は悍ましい
事実16: もしも「この祝祭日は何気無いがしかし悍ましくない」ということは本当であるということはないとすればあの燕脂は市場金利だ
事実17: 仮にこの燕脂が考え辛いとするとその六十地域は絶対化する
事実18: もし仮にその六十地域は連結控除限度額だとすると「この燕脂は目敏いし加えて何気無い」ということは誤りだ
事実19: もしなにかは絶対化すれば十歳頃だ
事実20: もしも「この燕脂は目敏いけど何気無くない」ということは誤りであるとするとこの祝祭日は悍ましい

仮説: この祝祭日は市場金利でない
1. 事実11と事実12から、推論1: "「この燕脂は目敏い一方で何気無くない」ということは誤りだ"が導かれる
2. 推論1と事実20から、推論2: "この祝祭日は悍ましい"が導かれる
3. 推論2と事実2から、仮説が否定される

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