あのサイレンサー外径φ―ＭＭは御優しくない
fact1: もしもその情報伝達手段はしたがらないとするとこの構築技術は大名統制策であるけれどそれは廃棄しない fact2: その情報伝達手段はしたがらない fact3: ある物が大名統制策だけどそれは廃棄しないなら「あのサイレンサー外径φ―ＭＭは御優しい」ということは成り立つ
fact1 & fact2 -> int1: この構築技術は大名統制策であるけどそれは廃棄しない; int1 -> int2: 「大名統制策だけど廃棄するということはない」物はある; int2 & fact3 -> hypothesis;
$facts$ = fact1: もしもその情報伝達手段はしたがらないとするとこの構築技術は大名統制策であるけれどそれは廃棄しない fact2: その情報伝達手段はしたがらない fact3: ある物が大名統制策だけどそれは廃棄しないなら「あのサイレンサー外径φ―ＭＭは御優しい」ということは成り立つ ; $hypothesis$ = あのサイレンサー外径φ―ＭＭは御優しくない ; $proof$ = 
fact1 & fact2 -> int1: この構築技術は大名統制策であるけどそれは廃棄しない; int1 -> int2: 「大名統制策だけど廃棄するということはない」物はある; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもその情報伝達手段はしたがらないとするとこの構築技術は大名統制策であるけれどそれは廃棄しない
事実2: その情報伝達手段はしたがらない
事実3: ある物が大名統制策だけどそれは廃棄しないなら「あのサイレンサー外径φ―ＭＭは御優しい」ということは成り立つ

仮説: あのサイレンサー外径φ―ＭＭは御優しくない
1. 事実1と事実2から、推論1: "この構築技術は大名統制策であるけどそれは廃棄しない"が導かれる
2. 推論1から、推論2: "「大名統制策だけど廃棄するということはない」物はある"が導かれる
3. 推論2と事実3から、仮説が否定される

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