「「「大きいが外し易くない」ということは間違いであるとしたら「蜂起する」ということは成り立つ」ものはある」ということは間違いだ
fact1: 「その聚落は大きいけど外し易くない」ということは成り立たないならそれは蜂起する
$facts$ = fact1: 「その聚落は大きいけど外し易くない」ということは成り立たないならそれは蜂起する ; $hypothesis$ = 「「「大きいが外し易くない」ということは間違いであるとしたら「蜂起する」ということは成り立つ」ものはある」ということは間違いだ ; $proof$ = 
事実1: 「その聚落は大きいけど外し易くない」ということは成り立たないならそれは蜂起する

仮説: 「「「大きいが外し易くない」ということは間違いであるとしたら「蜂起する」ということは成り立つ」ものはある」ということは間違いだ