あの睡眠薬は毒しない
fact1: もし仮になにかは第二波だということはないとしたらレクリエーションでしかも吸・排気系である fact2: なにがしかのものは吸・排気系だとしたら「それは恙無い」ということは事実と異ならない fact3: もしこのフィーがＨＳＰであるとしたらあの睡眠薬は毒する fact4: このフィーが毒するとするとあの睡眠薬はＨＳＰである fact5: 「この胸部誘導は恙無いとしたら「このフィーは有為転変でないしＨＳＰでない」ということは成り立たない」ということは本当だ fact6: このフィーはＨＳＰである
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
あの睡眠薬は毒しない
fact8 -> int1: もし仮にこの胸部誘導は吸・排気系であるならば恙無い; fact7 -> int2: 仮にこの胸部誘導は第二波であるということはないとしたらレクリエーションだしかつ吸・排気系だ;
$facts$ = fact1: もし仮になにかは第二波だということはないとしたらレクリエーションでしかも吸・排気系である fact2: なにがしかのものは吸・排気系だとしたら「それは恙無い」ということは事実と異ならない fact3: もしこのフィーがＨＳＰであるとしたらあの睡眠薬は毒する fact4: このフィーが毒するとするとあの睡眠薬はＨＳＰである fact5: 「この胸部誘導は恙無いとしたら「このフィーは有為転変でないしＨＳＰでない」ということは成り立たない」ということは本当だ fact6: このフィーはＨＳＰである ; $hypothesis$ = あの睡眠薬は毒しない ; $proof$ = 
fact3 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは第二波だということはないとしたらレクリエーションでしかも吸・排気系である
事実2: なにがしかのものは吸・排気系だとしたら「それは恙無い」ということは事実と異ならない
事実3: もしこのフィーがＨＳＰであるとしたらあの睡眠薬は毒する
事実4: このフィーが毒するとするとあの睡眠薬はＨＳＰである
事実5: 「この胸部誘導は恙無いとしたら「このフィーは有為転変でないしＨＳＰでない」ということは成り立たない」ということは本当だ
事実6: このフィーはＨＳＰである

仮説: あの睡眠薬は毒しない
1. 事実3と事実6から、仮説が否定される

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