「「もし仮に捜査しないとすれば好ましくない」ものはある」ということは誤りだ
fact1: もしも「なにがしかのものは捜査しない」ということは成り立つとすれば「それは好ましくない」ということは真実である
fact1 -> int1: もしもあの右寄りが捜査しないとすると好ましくない; int1 -> hypothesis;
$facts$ = fact1: もしも「なにがしかのものは捜査しない」ということは成り立つとすれば「それは好ましくない」ということは真実である ; $hypothesis$ = 「「もし仮に捜査しないとすれば好ましくない」ものはある」ということは誤りだ ; $proof$ = 
fact1 -> int1: もしもあの右寄りが捜査しないとすると好ましくない; int1 -> hypothesis; __DISPROVED__
事実1: もしも「なにがしかのものは捜査しない」ということは成り立つとすれば「それは好ましくない」ということは真実である

仮説: 「「もし仮に捜査しないとすれば好ましくない」ものはある」ということは誤りだ
1. 事実1から、推論1: "もしもあの右寄りが捜査しないとすると好ましくない"が導かれる
2. 推論1から、仮説が否定される

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