あのチオペンタールは特別編であるということはない
fact1: あのチオペンタールはとろいとすると「特別編だ」ということは成り立つ fact2: もしも「あのチオペンタールはとろい」ということは成り立てばそれは法務政策だ fact3: 「このキャリア教育はとろい」ということは成り立つ fact4: あのチオペンタールはとろい fact5: そのスターはとろい fact6: もし「あの微小変化群はとろくないか法務政策であるか両方ともである」ということは間違いであるならばあのチオペンタールは特別編でない fact7: もしもとあるものが法務政策でないとしたら特別編であるししかもそれはとろい
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
あのチオペンタールは特別編でない
$facts$ = fact1: あのチオペンタールはとろいとすると「特別編だ」ということは成り立つ fact2: もしも「あのチオペンタールはとろい」ということは成り立てばそれは法務政策だ fact3: 「このキャリア教育はとろい」ということは成り立つ fact4: あのチオペンタールはとろい fact5: そのスターはとろい fact6: もし「あの微小変化群はとろくないか法務政策であるか両方ともである」ということは間違いであるならばあのチオペンタールは特別編でない fact7: もしもとあるものが法務政策でないとしたら特別編であるししかもそれはとろい ; $hypothesis$ = あのチオペンタールは特別編であるということはない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: あのチオペンタールはとろいとすると「特別編だ」ということは成り立つ
事実2: もしも「あのチオペンタールはとろい」ということは成り立てばそれは法務政策だ
事実3: 「このキャリア教育はとろい」ということは成り立つ
事実4: あのチオペンタールはとろい
事実5: そのスターはとろい
事実6: もし「あの微小変化群はとろくないか法務政策であるか両方ともである」ということは間違いであるならばあのチオペンタールは特別編でない
事実7: もしもとあるものが法務政策でないとしたら特別編であるししかもそれはとろい

仮説: あのチオペンタールは特別編であるということはない
1. 事実1と事実4から、仮説が否定される

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