「「仮にドクター・ノーだとすれば負ぶうし訳無くない」物はある」ということは嘘だ
fact1: ドクター・ノーは負ぶう fact2: ドクター・ノーは負ぶうがしかし訳無くない
fact2 -> int1: もしもあのＤＩＭＭモジュールがドクター・ノーならそれは負ぶうしそれは訳無いということはない; int1 -> hypothesis;
$facts$ = fact1: ドクター・ノーは負ぶう fact2: ドクター・ノーは負ぶうがしかし訳無くない ; $hypothesis$ = 「「仮にドクター・ノーだとすれば負ぶうし訳無くない」物はある」ということは嘘だ ; $proof$ = 
fact2 -> int1: もしもあのＤＩＭＭモジュールがドクター・ノーならそれは負ぶうしそれは訳無いということはない; int1 -> hypothesis; __DISPROVED__
事実1: ドクター・ノーは負ぶう
事実2: ドクター・ノーは負ぶうがしかし訳無くない

仮説: 「「仮にドクター・ノーだとすれば負ぶうし訳無くない」物はある」ということは嘘だ
1. 事実2から、推論1: "もしもあのＤＩＭＭモジュールがドクター・ノーならそれは負ぶうしそれは訳無いということはない"が導かれる
2. 推論1から、仮説が否定される

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