あの木菟は冗談ぽいということはない
fact1: 仮にそのセキュリティ問題は分割納付でないとしたら力強い fact2: 仮にとある物が力強くないとしたら返還す fact3: 仮にあの木菟が力強くないとしたら離れ難い fact4: この御射手は力強くない fact5: あの木菟は臨時代理である fact6: あの木菟は多品種少量でない fact7: あの取り消し原因は冗談ぽい fact8: 仮にあの木菟が取り掛かり易くないとしたら進化し易い fact9: あの木菟が力強くないとすれば冗談ぽい fact10: あの社債発行は冗談ぽい fact11: あの木菟は力強くない fact12: あの木菟は興ぜない fact13: その全国レベルは力強い fact14: あの木菟はフリーターである fact15: あの木菟は素人っぽい fact16: あの木菟は心憎くない fact17: あの木菟は詳しい fact18: この原因療法は冗談ぽくない fact19: 仮にあの公債発行は汚れ易くないとすれば「それはリードイングである」ということは成り立つ
fact9 & fact11 -> hypothesis;
fact9 & fact11 -> hypothesis;
もしもあの復員が力強くないとすると返還す
fact20 -> hypothesis;
$facts$ = fact1: 仮にそのセキュリティ問題は分割納付でないとしたら力強い fact2: 仮にとある物が力強くないとしたら返還す fact3: 仮にあの木菟が力強くないとしたら離れ難い fact4: この御射手は力強くない fact5: あの木菟は臨時代理である fact6: あの木菟は多品種少量でない fact7: あの取り消し原因は冗談ぽい fact8: 仮にあの木菟が取り掛かり易くないとしたら進化し易い fact9: あの木菟が力強くないとすれば冗談ぽい fact10: あの社債発行は冗談ぽい fact11: あの木菟は力強くない fact12: あの木菟は興ぜない fact13: その全国レベルは力強い fact14: あの木菟はフリーターである fact15: あの木菟は素人っぽい fact16: あの木菟は心憎くない fact17: あの木菟は詳しい fact18: この原因療法は冗談ぽくない fact19: 仮にあの公債発行は汚れ易くないとすれば「それはリードイングである」ということは成り立つ ; $hypothesis$ = あの木菟は冗談ぽいということはない ; $proof$ = 
fact9 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にそのセキュリティ問題は分割納付でないとしたら力強い
事実2: 仮にとある物が力強くないとしたら返還す
事実3: 仮にあの木菟が力強くないとしたら離れ難い
事実4: この御射手は力強くない
事実5: あの木菟は臨時代理である
事実6: あの木菟は多品種少量でない
事実7: あの取り消し原因は冗談ぽい
事実8: 仮にあの木菟が取り掛かり易くないとしたら進化し易い
事実9: あの木菟が力強くないとすれば冗談ぽい
事実10: あの社債発行は冗談ぽい
事実11: あの木菟は力強くない
事実12: あの木菟は興ぜない
事実13: その全国レベルは力強い
事実14: あの木菟はフリーターである
事実15: あの木菟は素人っぽい
事実16: あの木菟は心憎くない
事実17: あの木菟は詳しい
事実18: この原因療法は冗談ぽくない
事実19: 仮にあの公債発行は汚れ易くないとすれば「それはリードイングである」ということは成り立つ

仮説: あの木菟は冗談ぽいということはない
1. 事実9と事実11から、仮説が否定される

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