あの爆撃は突き立たない
fact1: あの爆撃は過不足無い fact2: あの国民病は見下ろすしそれは過不足無い fact3: あの爆撃は過不足無いしそれは仕方無い fact4: あの爆撃は神経システムだしカジュアル化する fact5: このペプチドトランスポーターは突き立つ fact6: この説得材料はＫ病院であるしかつ過不足無い fact7: あの入院患者数は突き立つしそれは三業種である fact8: 過不足無くなくておまけに烏滸がましくらない物は突き立たない fact9: あの爆撃は忌避する fact10: この矩形ツールは大人気無くて突き立つ fact11: あの爆撃が過不足無いしその上突き立つ fact12: あの爆撃は過不足無くておまけに疑わし fact13: あの日日は過不足無い fact14: あの爆撃は掴み易い fact15: あの爆撃が保健支出だし外し易い
fact11 -> hypothesis;
fact11 -> hypothesis;
あの爆撃は突き立たない
fact16 -> int1: あの爆撃は過不足無くなくておまけに烏滸がましいということはないならば突き立たない;
$facts$ = fact1: あの爆撃は過不足無い fact2: あの国民病は見下ろすしそれは過不足無い fact3: あの爆撃は過不足無いしそれは仕方無い fact4: あの爆撃は神経システムだしカジュアル化する fact5: このペプチドトランスポーターは突き立つ fact6: この説得材料はＫ病院であるしかつ過不足無い fact7: あの入院患者数は突き立つしそれは三業種である fact8: 過不足無くなくておまけに烏滸がましくらない物は突き立たない fact9: あの爆撃は忌避する fact10: この矩形ツールは大人気無くて突き立つ fact11: あの爆撃が過不足無いしその上突き立つ fact12: あの爆撃は過不足無くておまけに疑わし fact13: あの日日は過不足無い fact14: あの爆撃は掴み易い fact15: あの爆撃が保健支出だし外し易い ; $hypothesis$ = あの爆撃は突き立たない ; $proof$ = 
fact11 -> hypothesis; __DISPROVED__
事実1: あの爆撃は過不足無い
事実2: あの国民病は見下ろすしそれは過不足無い
事実3: あの爆撃は過不足無いしそれは仕方無い
事実4: あの爆撃は神経システムだしカジュアル化する
事実5: このペプチドトランスポーターは突き立つ
事実6: この説得材料はＫ病院であるしかつ過不足無い
事実7: あの入院患者数は突き立つしそれは三業種である
事実8: 過不足無くなくておまけに烏滸がましくらない物は突き立たない
事実9: あの爆撃は忌避する
事実10: この矩形ツールは大人気無くて突き立つ
事実11: あの爆撃が過不足無いしその上突き立つ
事実12: あの爆撃は過不足無くておまけに疑わし
事実13: あの日日は過不足無い
事実14: あの爆撃は掴み易い
事実15: あの爆撃が保健支出だし外し易い

仮説: あの爆撃は突き立たない
1. 事実11から、仮説が否定される

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