前提: ヨーロッパ人のそれぞれがヨーロッパの中を自由に移動できる。すべてのヨーロッパ人は人間である。ヨーロッパに住む権利を持つすべての人間は、ヨーロッパの中を自由に移動できる。
仮説: ヨーロッパ人のそれぞれがヨーロッパに住む権利を持つ。