このバトルタイプは成立し難くない
fact1: このバトルタイプは全会衆である fact2: 仮にこのバトルタイプは全会衆だとすれば「それは成立し難い」ということは成り立つ
$facts$ = fact1: このバトルタイプは全会衆である fact2: 仮にこのバトルタイプは全会衆だとすれば「それは成立し難い」ということは成り立つ ; $hypothesis$ = このバトルタイプは成立し難くない ; $proof$ = 
事実1: このバトルタイプは全会衆である
事実2: 仮にこのバトルタイプは全会衆だとすれば「それは成立し難い」ということは成り立つ

仮説: このバトルタイプは成立し難くない