「仮に争奪戦であるなら「伏せるし誤り無くない」ということは成り立たない」ものはある
fact1: 「もし争奪戦ならば伏せるけど誤り無くない」物はある fact2: 仮になにがしかのものは争奪戦であるとすれば「それは伏せる一方で誤り無くない」ということは真実でない
fact2 -> int1: もし「この諸種は争奪戦だ」ということは確かであるとしたら「伏せるけれど誤り無くない」ということは嘘だ; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もし争奪戦ならば伏せるけど誤り無くない」物はある fact2: 仮になにがしかのものは争奪戦であるとすれば「それは伏せる一方で誤り無くない」ということは真実でない ; $hypothesis$ = 「仮に争奪戦であるなら「伏せるし誤り無くない」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> int1: もし「この諸種は争奪戦だ」ということは確かであるとしたら「伏せるけれど誤り無くない」ということは嘘だ; int1 -> hypothesis; __PROVED__
事実1: 「もし争奪戦ならば伏せるけど誤り無くない」物はある
事実2: 仮になにがしかのものは争奪戦であるとすれば「それは伏せる一方で誤り無くない」ということは真実でない

仮説: 「仮に争奪戦であるなら「伏せるし誤り無くない」ということは成り立たない」ものはある
1. 事実2から、推論1: "もし「この諸種は争奪戦だ」ということは確かであるとしたら「伏せるけれど誤り無くない」ということは嘘だ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。