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