「「もし仮に側副路でないならすっぽかすし異時空結合装置な」ものはある」ということは事実と異なる
fact1: 仮に何らかのものは対空砲でないとするとそれは組織変更するし加えて奔走する fact2: もし仮になんらかの物は側副路でないならそれはすっぽかす fact3: もしもとあるものが側副路ならすっぽかすし異時空結合装置だ fact4: 「もし側副路でないとするとすっぽかす」物はある fact5: 仮にとあるものが側副路であるということはないならそれはすっぽかすししかも異時空結合装置だ
fact5 -> int1: あの人形職人が側副路だということはないとすればすっぽかすしおまけに異時空結合装置だ; int1 -> hypothesis;
「もし対空砲でないとしたら組織変更するし奔走する」物はある
fact6 -> int2: もし仮にあの大規模法人は対空砲でないなら組織変更するし奔走する; int2 -> hypothesis;
$facts$ = fact1: 仮に何らかのものは対空砲でないとするとそれは組織変更するし加えて奔走する fact2: もし仮になんらかの物は側副路でないならそれはすっぽかす fact3: もしもとあるものが側副路ならすっぽかすし異時空結合装置だ fact4: 「もし側副路でないとするとすっぽかす」物はある fact5: 仮にとあるものが側副路であるということはないならそれはすっぽかすししかも異時空結合装置だ ; $hypothesis$ = 「「もし仮に側副路でないならすっぽかすし異時空結合装置な」ものはある」ということは事実と異なる ; $proof$ = 
fact5 -> int1: あの人形職人が側副路だということはないとすればすっぽかすしおまけに異時空結合装置だ; int1 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものは対空砲でないとするとそれは組織変更するし加えて奔走する
事実2: もし仮になんらかの物は側副路でないならそれはすっぽかす
事実3: もしもとあるものが側副路ならすっぽかすし異時空結合装置だ
事実4: 「もし側副路でないとするとすっぽかす」物はある
事実5: 仮にとあるものが側副路であるということはないならそれはすっぽかすししかも異時空結合装置だ

仮説: 「「もし仮に側副路でないならすっぽかすし異時空結合装置な」ものはある」ということは事実と異なる
1. 事実5から、推論1: "あの人形職人が側副路だということはないとすればすっぽかすしおまけに異時空結合装置だ"が導かれる
2. 推論1から、仮説が否定される

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