前提: 加盟国の居住者はヨーロッパの中を自由に移動できる。加盟国の居住者はみな個人である。ヨーロッパのどこにでも住む権利を持つ個人はすべて、ヨーロッパの中を自由に移動できる。
仮説: 加盟国の居住者はヨーロッパのどこにでも住む権利を持つ。