バトルチームの設計者が、外部ツールをその難易度に取り込んでいるかは、直接確かめる以外には方法は無いでしょうね。

よって、「設計に含んでいる」というのはそもそも仮説であり、その仮説を主張した側にその証明責任がある。
これを「否定することが証明できないなら、証明したことになる」というのは、レトリックですね。それは元の命題を証明したことになりません。