この十三世紀は御迎えしない
fact1: あの青銅器は舞い上がる fact2: あるものが舞い上がるならばあの十三世紀は御迎えするし渡り終える
fact1 -> int1: 「舞い上がる」ものはある; int1 & fact2 -> int2: この十三世紀は御迎えするししかも渡り終える; int2 -> hypothesis;
$facts$ = fact1: あの青銅器は舞い上がる fact2: あるものが舞い上がるならばあの十三世紀は御迎えするし渡り終える ; $hypothesis$ = この十三世紀は御迎えしない ; $proof$ = 
fact1 -> int1: 「舞い上がる」ものはある; int1 & fact2 -> int2: この十三世紀は御迎えするししかも渡り終える; int2 -> hypothesis; __DISPROVED__
事実1: あの青銅器は舞い上がる
事実2: あるものが舞い上がるならばあの十三世紀は御迎えするし渡り終える

仮説: この十三世紀は御迎えしない
1. 事実1から、推論1: "「舞い上がる」ものはある"が導かれる
2. 推論1と事実2から、推論2: "この十三世紀は御迎えするししかも渡り終える"が導かれる
3. 推論2から、仮説が否定される

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