あの僧帽弁疾患は順位付けする
fact1: もしもあの経脈編は順位付けしないならば「あの僧帽弁疾患は順位付けする」ということは誤っていない fact2: あのソラニンは積み重ねる fact3: あの経脈編は積み重ねる fact4: あの経脈編が新カント派でかつ積み重ねるならばあの僧帽弁疾患は順位付けしない fact5: あの経脈編は新カント派だ
fact5 & fact3 -> int1: あの経脈編は新カント派であるし加えて積み重ねる; int1 & fact4 -> hypothesis;
あの僧帽弁疾患は順位付けする
$facts$ = fact1: もしもあの経脈編は順位付けしないならば「あの僧帽弁疾患は順位付けする」ということは誤っていない fact2: あのソラニンは積み重ねる fact3: あの経脈編は積み重ねる fact4: あの経脈編が新カント派でかつ積み重ねるならばあの僧帽弁疾患は順位付けしない fact5: あの経脈編は新カント派だ ; $hypothesis$ = あの僧帽弁疾患は順位付けする ; $proof$ = 
fact5 & fact3 -> int1: あの経脈編は新カント派であるし加えて積み重ねる; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもあの経脈編は順位付けしないならば「あの僧帽弁疾患は順位付けする」ということは誤っていない
事実2: あのソラニンは積み重ねる
事実3: あの経脈編は積み重ねる
事実4: あの経脈編が新カント派でかつ積み重ねるならばあの僧帽弁疾患は順位付けしない
事実5: あの経脈編は新カント派だ

仮説: あの僧帽弁疾患は順位付けする
1. 事実5と事実3から、推論1: "あの経脈編は新カント派であるし加えて積み重ねる"が導かれる
2. 推論1と事実4から、仮説が否定される

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