この治外法権は市名でない
fact1: 「「意図・目的であるしコントロールし易くない」ということは間違いな」物はある fact2: 「「意図・目的であるがしかしコントロールし易くない」ということは事実と異なる」ものはあるなら「この治外法権は市名でない」ということは本当だ
$facts$ = fact1: 「「意図・目的であるしコントロールし易くない」ということは間違いな」物はある fact2: 「「意図・目的であるがしかしコントロールし易くない」ということは事実と異なる」ものはあるなら「この治外法権は市名でない」ということは本当だ ; $hypothesis$ = この治外法権は市名でない ; $proof$ = 
事実1: 「「意図・目的であるしコントロールし易くない」ということは間違いな」物はある
事実2: 「「意図・目的であるがしかしコントロールし易くない」ということは事実と異なる」ものはあるなら「この治外法権は市名でない」ということは本当だ

仮説: この治外法権は市名でない