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