「その名護市民は御移さない」ということは成り立つ
fact1: 「その名護市民は御移す」ということは成り立つ fact2: 「そのデフォルト設定は御移す」ということは成り立つ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「その名護市民は御移す」ということは成り立つ fact2: 「そのデフォルト設定は御移す」ということは成り立つ ; $hypothesis$ = 「その名護市民は御移さない」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「その名護市民は御移す」ということは成り立つ
事実2: 「そのデフォルト設定は御移す」ということは成り立つ

仮説: 「その名護市民は御移さない」ということは成り立つ
1. 事実1から、仮説が否定される

よって、仮説が否定されました。