あのリアリストは商業ルートでない
fact1: もし仮になにがしかのものは他国者であるならそれは商業ルートだ fact2: ある物は聞こえ難くてまたそれはブレーキングする fact3: 「金融面だし多作である」ものはある fact4: 仮にあの壁時計が焼成しないならばあのリアリストは他国者でないしさらに備うということはない fact5: 仮に「「聞こえ難くてブレーキングする」ということは成り立つということはない」ものがあるならあのリアリストは他国者だ fact6: 「「聞こえ難くてブレーキングする」ということは嘘である」物はある fact7: もしなんらかの物が他国者でなくて備うないとしたらそれは商業ルートでない
fact6 & fact5 -> int1: あのリアリストは他国者だ; fact1 -> int2: 仮にあのリアリストは他国者であるとしたら商業ルートだ; int1 & int2 -> hypothesis;
あのリアリストは商業ルートでない
fact9 -> int3: もし仮にあのリアリストが他国者でなくておまけにそれが備うないとすると商業ルートでない;
$facts$ = fact1: もし仮になにがしかのものは他国者であるならそれは商業ルートだ fact2: ある物は聞こえ難くてまたそれはブレーキングする fact3: 「金融面だし多作である」ものはある fact4: 仮にあの壁時計が焼成しないならばあのリアリストは他国者でないしさらに備うということはない fact5: 仮に「「聞こえ難くてブレーキングする」ということは成り立つということはない」ものがあるならあのリアリストは他国者だ fact6: 「「聞こえ難くてブレーキングする」ということは嘘である」物はある fact7: もしなんらかの物が他国者でなくて備うないとしたらそれは商業ルートでない ; $hypothesis$ = あのリアリストは商業ルートでない ; $proof$ = 
fact6 & fact5 -> int1: あのリアリストは他国者だ; fact1 -> int2: 仮にあのリアリストは他国者であるとしたら商業ルートだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものは他国者であるならそれは商業ルートだ
事実2: ある物は聞こえ難くてまたそれはブレーキングする
事実3: 「金融面だし多作である」ものはある
事実4: 仮にあの壁時計が焼成しないならばあのリアリストは他国者でないしさらに備うということはない
事実5: 仮に「「聞こえ難くてブレーキングする」ということは成り立つということはない」ものがあるならあのリアリストは他国者だ
事実6: 「「聞こえ難くてブレーキングする」ということは嘘である」物はある
事実7: もしなんらかの物が他国者でなくて備うないとしたらそれは商業ルートでない

仮説: あのリアリストは商業ルートでない
1. 事実6と事実5から、推論1: "あのリアリストは他国者だ"が導かれる
2. 事実1から、推論2: "仮にあのリアリストは他国者であるとしたら商業ルートだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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