その体系は通勤しない
fact1: 「あの国民主権は使い始めなくてそれは引き起こし易いということはない」ということは本当でないとしたら通勤する fact2: もしも「「使い始めるし加えて引き起こし易い」ということは誤っている」ものがあるとすればその体系は通勤しない fact3: あの国民主権は使い始める fact4: この下気道感染は使い始める fact5: 「あの国民主権は通勤する」ということは正しい fact6: あの国民主権が使い始めるとすればその体系は通勤する fact7: そのＵＭＡは使い始める fact8: その体系は使い始める fact9: このマーシャル方面は使い始める
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
その体系は通勤するということはない
$facts$ = fact1: 「あの国民主権は使い始めなくてそれは引き起こし易いということはない」ということは本当でないとしたら通勤する fact2: もしも「「使い始めるし加えて引き起こし易い」ということは誤っている」ものがあるとすればその体系は通勤しない fact3: あの国民主権は使い始める fact4: この下気道感染は使い始める fact5: 「あの国民主権は通勤する」ということは正しい fact6: あの国民主権が使い始めるとすればその体系は通勤する fact7: そのＵＭＡは使い始める fact8: その体系は使い始める fact9: このマーシャル方面は使い始める ; $hypothesis$ = その体系は通勤しない ; $proof$ = 
fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの国民主権は使い始めなくてそれは引き起こし易いということはない」ということは本当でないとしたら通勤する
事実2: もしも「「使い始めるし加えて引き起こし易い」ということは誤っている」ものがあるとすればその体系は通勤しない
事実3: あの国民主権は使い始める
事実4: この下気道感染は使い始める
事実5: 「あの国民主権は通勤する」ということは正しい
事実6: あの国民主権が使い始めるとすればその体系は通勤する
事実7: そのＵＭＡは使い始める
事実8: その体系は使い始める
事実9: このマーシャル方面は使い始める

仮説: その体系は通勤しない
1. 事実6と事実3から、仮説が否定される

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