その選択約款は夫婦する
fact1: あの地下道は区別し易いかまたは争いでないかもしくは両方ともである fact2: あの地下道が区別し易いならばその選択約款は夫婦する fact3: もしもあの地下道が争いでないとするとその選択約款は夫婦する
$facts$ = fact1: あの地下道は区別し易いかまたは争いでないかもしくは両方ともである fact2: あの地下道が区別し易いならばその選択約款は夫婦する fact3: もしもあの地下道が争いでないとするとその選択約款は夫婦する ; $hypothesis$ = その選択約款は夫婦する ; $proof$ = 
事実1: あの地下道は区別し易いかまたは争いでないかもしくは両方ともである
事実2: あの地下道が区別し易いならばその選択約款は夫婦する
事実3: もしもあの地下道が争いでないとするとその選択約款は夫婦する

仮説: その選択約款は夫婦する