そのカテゴリー間は動かし難いということはないがそれは広ーい
fact1: もしその院政期が悪手だということはないとしたらそのカテゴリー間は動かし難くない一方で広ーい fact2: 「その院政期は悪手だということはない」ということは成り立つ
$facts$ = fact1: もしその院政期が悪手だということはないとしたらそのカテゴリー間は動かし難くない一方で広ーい fact2: 「その院政期は悪手だということはない」ということは成り立つ ; $hypothesis$ = そのカテゴリー間は動かし難いということはないがそれは広ーい ; $proof$ = 
事実1: もしその院政期が悪手だということはないとしたらそのカテゴリー間は動かし難くない一方で広ーい
事実2: 「その院政期は悪手だということはない」ということは成り立つ

仮説: そのカテゴリー間は動かし難いということはないがそれは広ーい