このケインズ経済学は焦れったくない
fact1: その決め手はクリーンヒットする fact2: 仮にある物が惜しみ無いということはないならそれはクリーンヒットする fact3: この独力はクリーンヒットする fact4: この中位が惜しみ無いとしたらこのケインズ経済学はクリーンヒットするということはない fact5: この中位はクリーンヒットする fact6: もしこのケインズ経済学が惜しみ無いならこの中位は焦れったくない fact7: この中位は焦れったくない fact8: このティタン神族は惜しみ無くない fact9: もしなにかはクリーンヒットしないならばそれは焦れったい fact10: 仮にとあるものがエステティックサロンならこのケインズ経済学は茶色くないしその上それは御受けしない fact11: もし仮に惜しみ無い物がクリーンヒットするとしたらそれは焦れったくない fact12: あの十分一以下はクリーンヒットする fact13: この中位は惜しみ無い fact14: このケインズ経済学が焦れったくないとするとそれは感じ過ぎる fact15: 茶色いということはないものが御受けしないならそれは惜しみ無い fact16: もしこのケインズ経済学が惜しみ無くないとするとクリーンヒットする fact17: この中位が置き去りでないならこのケインズ経済学はクリーンヒットするし心憎い fact18: もし仮にこの中位がクリーンヒットしないならばそれは惜しみ無い fact19: このＩＮＡＳＹはエステティックサロンである fact20: そのヨーロッパ史はクリーンヒットしない
fact4 & fact13 -> int1: このケインズ経済学はクリーンヒットしない; fact9 -> int2: もしこのケインズ経済学がクリーンヒットしないなら焦れったい; int1 & int2 -> hypothesis;
このケインズ経済学は焦れったくない
fact25 -> int3: このケインズ経済学が惜しみ無くてさらにそれがクリーンヒットすれば焦れったいということはない; fact22 -> int4: 仮にこのケインズ経済学が茶色くないしかつ御受けしないならば惜しみ無い; fact24 -> int5: 「エステティックサロンな」物はある; int5 & fact23 -> int6: このケインズ経済学は茶色いということはなくて加えてそれは御受けするということはない; int4 & int6 -> int7: このケインズ経済学は惜しみ無い;
$facts$ = fact1: その決め手はクリーンヒットする fact2: 仮にある物が惜しみ無いということはないならそれはクリーンヒットする fact3: この独力はクリーンヒットする fact4: この中位が惜しみ無いとしたらこのケインズ経済学はクリーンヒットするということはない fact5: この中位はクリーンヒットする fact6: もしこのケインズ経済学が惜しみ無いならこの中位は焦れったくない fact7: この中位は焦れったくない fact8: このティタン神族は惜しみ無くない fact9: もしなにかはクリーンヒットしないならばそれは焦れったい fact10: 仮にとあるものがエステティックサロンならこのケインズ経済学は茶色くないしその上それは御受けしない fact11: もし仮に惜しみ無い物がクリーンヒットするとしたらそれは焦れったくない fact12: あの十分一以下はクリーンヒットする fact13: この中位は惜しみ無い fact14: このケインズ経済学が焦れったくないとするとそれは感じ過ぎる fact15: 茶色いということはないものが御受けしないならそれは惜しみ無い fact16: もしこのケインズ経済学が惜しみ無くないとするとクリーンヒットする fact17: この中位が置き去りでないならこのケインズ経済学はクリーンヒットするし心憎い fact18: もし仮にこの中位がクリーンヒットしないならばそれは惜しみ無い fact19: このＩＮＡＳＹはエステティックサロンである fact20: そのヨーロッパ史はクリーンヒットしない ; $hypothesis$ = このケインズ経済学は焦れったくない ; $proof$ = 
fact4 & fact13 -> int1: このケインズ経済学はクリーンヒットしない; fact9 -> int2: もしこのケインズ経済学がクリーンヒットしないなら焦れったい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その決め手はクリーンヒットする
事実2: 仮にある物が惜しみ無いということはないならそれはクリーンヒットする
事実3: この独力はクリーンヒットする
事実4: この中位が惜しみ無いとしたらこのケインズ経済学はクリーンヒットするということはない
事実5: この中位はクリーンヒットする
事実6: もしこのケインズ経済学が惜しみ無いならこの中位は焦れったくない
事実7: この中位は焦れったくない
事実8: このティタン神族は惜しみ無くない
事実9: もしなにかはクリーンヒットしないならばそれは焦れったい
事実10: 仮にとあるものがエステティックサロンならこのケインズ経済学は茶色くないしその上それは御受けしない
事実11: もし仮に惜しみ無い物がクリーンヒットするとしたらそれは焦れったくない
事実12: あの十分一以下はクリーンヒットする
事実13: この中位は惜しみ無い
事実14: このケインズ経済学が焦れったくないとするとそれは感じ過ぎる
事実15: 茶色いということはないものが御受けしないならそれは惜しみ無い
事実16: もしこのケインズ経済学が惜しみ無くないとするとクリーンヒットする
事実17: この中位が置き去りでないならこのケインズ経済学はクリーンヒットするし心憎い
事実18: もし仮にこの中位がクリーンヒットしないならばそれは惜しみ無い
事実19: このＩＮＡＳＹはエステティックサロンである
事実20: そのヨーロッパ史はクリーンヒットしない

仮説: このケインズ経済学は焦れったくない
1. 事実4と事実13から、推論1: "このケインズ経済学はクリーンヒットしない"が導かれる
2. 事実9から、推論2: "もしこのケインズ経済学がクリーンヒットしないなら焦れったい"が導かれる
3. 推論1と推論2から、仮説が否定される

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