「あの復活―死は騒がさない」ということは成り立つ
fact1: あの復活―死は騒がす fact2: あのカレンダーコントロールは騒がす fact3: あの復活―死は貫徹する fact4: いとおしくないものが奉斎しないとしたらこの物上は騒がす fact5: もし「その中国問題は感じ易いがしかしＩＥＬＭでない」ということは成り立たないなら感じ易くない fact6: もしその中国問題がいとおしい物であり加えて奉斎しないならばあの復活―死は騒がさない fact7: この弁才船は騒がす
fact1 -> hypothesis;
fact1 -> hypothesis;
この物上は騒がす
$facts$ = fact1: あの復活―死は騒がす fact2: あのカレンダーコントロールは騒がす fact3: あの復活―死は貫徹する fact4: いとおしくないものが奉斎しないとしたらこの物上は騒がす fact5: もし「その中国問題は感じ易いがしかしＩＥＬＭでない」ということは成り立たないなら感じ易くない fact6: もしその中国問題がいとおしい物であり加えて奉斎しないならばあの復活―死は騒がさない fact7: この弁才船は騒がす ; $hypothesis$ = 「あの復活―死は騒がさない」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの復活―死は騒がす
事実2: あのカレンダーコントロールは騒がす
事実3: あの復活―死は貫徹する
事実4: いとおしくないものが奉斎しないとしたらこの物上は騒がす
事実5: もし「その中国問題は感じ易いがしかしＩＥＬＭでない」ということは成り立たないなら感じ易くない
事実6: もしその中国問題がいとおしい物であり加えて奉斎しないならばあの復活―死は騒がさない
事実7: この弁才船は騒がす

仮説: 「あの復活―死は騒がさない」ということは成り立つ
1. 事実1から、仮説が否定される

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